diff options
| author | bringert <unknown> | 2005-05-10 13:55:01 +0000 |
|---|---|---|
| committer | bringert <unknown> | 2005-05-10 13:55:01 +0000 |
| commit | 2fa6b60d0449b49fd9eaa75c72d07f10d45c9837 (patch) | |
| tree | 31c7061458cee4be4243bba5f39145f66ab622de /src/Makefile | |
| parent | 41657fed460ddc959db9d2a4c6000c77b5c82f3c (diff) | |
Added option to disable readline.
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 12 |
1 files changed, 8 insertions, 4 deletions
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 |