diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-05-21 09:46:30 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-05-21 09:46:30 +0000 |
| commit | 529374caaa6d451400f57f1ff82106d89d603944 (patch) | |
| tree | 663cdd773d420d5582bc083b877b754e3470227e /src-3.0/Makefile | |
| parent | 055c0d0d5a5bb0dc75904fe53df7f2e4f5732a8f (diff) | |
added Readline to GF3 shell (in the same way as GF2, using GFCFLAGS in Makefile)
Diffstat (limited to 'src-3.0/Makefile')
| -rw-r--r-- | src-3.0/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src-3.0/Makefile b/src-3.0/Makefile index 421409280..53c648908 100644 --- a/src-3.0/Makefile +++ b/src-3.0/Makefile @@ -207,7 +207,7 @@ gfc: gf3 gfi: gf3 gf3: - $(GHMAKE) $(GHCOPTFLAGS) -o gf3 GF/Devel/GF.hs + $(GHMAKE) $(GHCOPTFLAGS) $(GHCFLAGS) -o gf3 GF/Devel/GF.hs strip $(GF3_EXE) mv $(GF3_EXE) ../bin/ |