diff options
| author | aarne <unknown> | 2003-09-22 13:16:55 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2003-09-22 13:16:55 +0000 |
| commit | b1402e8bd6a68a891b00a214d6cf184d66defe19 (patch) | |
| tree | 90372ac4e53dce91cf949dbf8e93be06f1d9e8bd /src/Makefile | |
Founding the newly structured GF2.0 cvs archive.
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/src/Makefile b/src/Makefile new file mode 100644 index 000000000..2a9019c03 --- /dev/null +++ b/src/Makefile @@ -0,0 +1,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 .. |
