diff options
| author | aarne <unknown> | 2004-04-27 19:37:01 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-04-27 19:37:01 +0000 |
| commit | e5c60c9cfd25d260576c451f3005d8f6f27966a4 (patch) | |
| tree | 0188459d703a8728c695958a49186fcf5863d65f /src/Makefile | |
| parent | 233d6910e4716f078876541bfbd4ce6163ffd0c8 (diff) | |
optimization in make
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/Makefile b/src/Makefile index 83216117d..ea5dabebd 100644 --- a/src/Makefile +++ b/src/Makefile @@ -1,5 +1,6 @@ GHMAKE=ghc GHCFLAGS=-package lang -package util -fglasgow-exts +GHCOPTFLAGS=-O -package lang -package util -fglasgow-exts GHCFUDFLAG=-package Fudgets GHCINCLUDE=-iapi -icompile -igrammar -iinfra -ishell -isource -icanonical -iuseGrammar -icf -ifor-ghc -iparsing -iparsers GHCINCLUDENOFUD=-iapi -icompile -igrammar -iinfra -ishell -isource -icanonical -iuseGrammar -icf -ifor-ghc-nofud -iparsing -iparsers @@ -9,11 +10,14 @@ WINDOWSINCLUDE=-ifor-windows -iapi -icompile -igrammar -iinfra -ishell -isource all: make today ; make ghc unix: - make nofud-links ; make ghc + make nofud-links ; make opt windows: make nofud-links ; make justwindows install-java: make javac ; cd ../bin ; ln -s ../src/java ; echo "PLEASE edit GFHOME in bin/jgf2" +opt: + $(GHMAKE) $(GHCOPTFLAGS) $(GHCINCLUDENOFUD) --make GF.hs -o gf2 ; strip gf2 ; mv gf2 ../bin/ + ghc: make nofud fud: @@ -23,7 +27,7 @@ gft: nofud: $(GHMAKE) $(GHCFLAGS) $(GHCINCLUDENOFUD) --make GF.hs -o gf2 ; strip gf2 ; mv gf2 ../bin/ justwindows: - $(GHMAKE) $(GHCFLAGS) $(WINDOWSINCLUDE) --make GF.hs -o gf2.exe ; strip gf2.exe ; mv gf2.exe ../bin/ + $(GHMAKE) $(GHCOPTFLAGS) $(WINDOWSINCLUDE) --make GF.hs -o gf2.exe ; strip gf2.exe ; mv gf2.exe ../bin/ nofud-links: cd for-ghc-nofud ; rm -f *.hs ; ln -s ../for-ghc/Arch.hs ; ln -s ../for-hugs/ArchEdit.hs ; cd .. batch: |