diff options
| author | aarne <unknown> | 2003-10-06 08:57:16 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2003-10-06 08:57:16 +0000 |
| commit | 53e2307bbf5f6faaeadee19228e20e5a6b125990 (patch) | |
| tree | 9936c268dd2892571bc7c20461a6c6b2c70553d6 /src/Makefile | |
| parent | 7aa7a3cf19925b376cb368bd47fed75eaa9d5fea (diff) | |
Support gfc-nofud
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/Makefile b/src/Makefile index 19343de0e..ae14907c8 100644 --- a/src/Makefile +++ b/src/Makefile @@ -2,11 +2,16 @@ GHMAKE=ghc GHCFLAGS=-package lang -package util GHCFUDFLAG=-package Fudgets GHCINCLUDE=-iapi -icompile -igrammar -iinfra -ishell -isource -icanonical -iuseGrammar -icf -ifor-ghc -iparsing +GHCINCLUDENOFUD=-iapi -icompile -igrammar -iinfra -ishell -isource -icanonical -iuseGrammar -icf -ifor-ghc-nofud -iparsing all: make today ; make ghc ghc: $(GHMAKE) $(GHCFLAGS) $(GHCINCLUDE) $(GHCFUDFLAG) --make GF.hs -o gf2+ ; strip gf2+ ; mv gf2+ ../bin/ +nofud: + $(GHMAKE) $(GHCFLAGS) $(GHCINCLUDENOFUD) --make GF.hs -o gf2n ; strip gf2n +nofud-links: + cd for-ghc-nofud ; rm *.hs ; ln -s ../for-ghc/Arch.hs ; ln -s ../for-hugs/ArchEdit.hs ; cd .. batch: $(GHMAKE) $(GHCFLAGS) $(GHCINCLUDE) --make GF2.hs -o gf2 ; strip gf2 api: |