blob: 2a9019c03b5690f3b1cf60a91682e87d17ae1b75 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
GHMAKE=ghc
GHCFLAGS=-package lang -package util
GHCFUDFLAG=-package Fudgets
GHCINCLUDE=-iapi -icompile -igrammar -iinfra -ishell -isource -icanonical -iuseGrammar -icf -ifor-ghc
all:
make today ; make ghc
ghc:
$(GHMAKE) $(GHCFLAGS) $(GHCINCLUDE) $(GHCFUDFLAG) --make GF.hs -o gf2+ ; strip gf2+ ; mv gf2+ ../bin/
batch:
$(GHMAKE) $(GHCFLAGS) $(GHCINCLUDE) --make GF2.hs -o gf2 ; strip gf2
api:
$(GHMAKE) $(GHCFLAGS) $(GHCINCLUDE) --make API.hs
shell:
$(GHMAKE) $(GHCFLAGS) $(GHCINCLUDE) --make Shell.hs
clean:
rm -rf */*.o */*.hi *.o *.hi */*.ghi *.ghi *~ */*~
hugs:
hugs -P.:for-hugs:api:source:canonical:cf:grammar:infra:shell:useGrammar:compile: GF
today:
runhugs util/MkToday
javac:
cd java ; javac GFEditor.java ; cd ..
|
