From 2fa6b60d0449b49fd9eaa75c72d07f10d45c9837 Mon Sep 17 00:00:00 2001 From: bringert Date: Tue, 10 May 2005 13:55:01 +0000 Subject: Added option to disable readline. --- src/Makefile | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) (limited to 'src/Makefile') diff --git a/src/Makefile b/src/Makefile index a0ccaa4d7..5efe4753e 100644 --- a/src/Makefile +++ b/src/Makefile @@ -5,7 +5,6 @@ GHMAKE=$(GHC) --make GHCXMAKE=ghcxmake GHCFLAGS= -package util -fglasgow-exts $(CPPFLAGS) $(LDFLAGS) GHCOPTFLAGS=-O2 -GHCWINFLAGS=-package readline GHCFUDFLAG= JAVAFLAGS=-target 1.4 -source 1.4 @@ -20,6 +19,10 @@ BIN_DIST_DIR=$(DIST_DIR)-$(host) SNAPSHOT_DIR=GF-$(shell date +%Y%m%d) +ifeq ($(READLINE),readline) + GHCFLAGS += -package readline -DUSE_READLINE +endif + GF_EXE=gf$(EXEEXT) GF_EXE_TMP=gf-bin$(EXEEXT) GF_DOC_EXE=gfdoc$(EXEEXT) @@ -98,7 +101,8 @@ javac: jar: javac cd JavaGUI; $(JAR) -cmf manifest.txt gf-java.jar *.class - +showflags: + @echo $(GHCFLAGS) # added by peb: tracing: GHCFLAGS += -DTRACING @@ -108,8 +112,8 @@ ghci-trace: GHCFLAGS += -DTRACING ghci-trace: ghci touch-files: - rm -f GF/System/Tracing.{hi,o} - touch GF/System/Tracing.hs + rm -f GF/System/Tracing.{hi,o} GF/System/Readline.{hi,o} + touch GF/System/Tracing.hs GF/System/Readline.hs # profiling prof: GHCOPTFLAGS += -prof -auto-all -auto-dicts -- cgit v1.2.3