diff options
| author | peb <unknown> | 2003-10-06 09:44:54 +0000 |
|---|---|---|
| committer | peb <unknown> | 2003-10-06 09:44:54 +0000 |
| commit | 0988010e33fabc02090490b4a562a53fa9a08780 (patch) | |
| tree | 327c0c94acff03623c2bfbcbe05f7928e0258a2e | |
| parent | 53e2307bbf5f6faaeadee19228e20e5a6b125990 (diff) | |
*** empty log message ***
| -rw-r--r-- | src/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Makefile b/src/Makefile index ae14907c8..6a2ca3504 100644 --- a/src/Makefile +++ b/src/Makefile @@ -9,9 +9,9 @@ all: 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 + $(GHMAKE) $(GHCFLAGS) $(GHCINCLUDENOFUD) --make GF.hs -o gf2n ; strip gf2n ; mv gf2n ../bin/ nofud-links: - cd for-ghc-nofud ; rm *.hs ; ln -s ../for-ghc/Arch.hs ; ln -s ../for-hugs/ArchEdit.hs ; cd .. + cd for-ghc-nofud ; rm -f *.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: |