diff options
| author | aarne <unknown> | 2004-08-10 08:17:03 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-08-10 08:17:03 +0000 |
| commit | 9650864b06bbc90c5e2f64c36cf0c67c68300af5 (patch) | |
| tree | 12c33c7d75d7228695001d33085de6bc17d55bab /src/Makefile | |
| parent | 9d07bd92a87705a61d23e44cdbd659f08b055de5 (diff) | |
the name gf2
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/Makefile b/src/Makefile index 1d3814a6a..5effe1579 100644 --- a/src/Makefile +++ b/src/Makefile @@ -34,7 +34,7 @@ windows: today nofud-links justwindows install-java: javac -rm -f ../bin/java ln -s ../src/java ../bin - @echo "PLEASE edit GFHOME in bin/jgf2" + @echo "PLEASE edit GFHOME in bin/jgf" opt: $(GHMAKE) $(GHCOPTFLAGS) $(GHCINCLUDENOFUD) GF.hs -o gf strip gf @@ -70,9 +70,6 @@ nofud-links: ln -s ../for-ghc/Arch.hs for-ghc-nofud ln -s ../for-hugs/ArchEdit.hs for-ghc-nofud -batch: - $(GHMAKE) $(GHCFLAGS) $(GHCINCLUDE) GF2.hs -o gf - strip gf api: $(GHMAKE) $(GHCFLAGS) $(GHCINCLUDE) API.hs |