From 7ef63167c88c64927d55823ec31801212ea92413 Mon Sep 17 00:00:00 2001 From: Pepe Iborra Date: Sun, 17 Dec 2006 00:11:50 +0000 Subject: [PATCH] Propagate the DEBUGGER flag to the Makefile for stage 2 --- compiler/Makefile.ghcbin | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/compiler/Makefile.ghcbin b/compiler/Makefile.ghcbin index 96bed25..0f91a53 100644 --- a/compiler/Makefile.ghcbin +++ b/compiler/Makefile.ghcbin @@ -28,7 +28,13 @@ SRC_HC_OPTS += -optl-Xlinker -optl-E endif ifeq "$(GhcWithInterpreter)" "YES" -SRC_HC_OPTS += -DGHCI -DBREAKPOINT +SRC_HC_OPTS += -DGHCI + +# Should the debugger commands be enabled? +ifeq "$(GhciWithDebugger)" "YES" +SRC_HC_OPTS += -DDEBUGGER +endif + endif ifneq "$(GhcNotThreaded)" "YES" -- 1.7.10.4