mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-20 08:32:50 -06:00
Added configure script, added install target, changed MkToday to a shell script to avoid a build-time dependency on runhugs
This commit is contained in:
11
src/Makefile
11
src/Makefile
@@ -1,3 +1,5 @@
|
||||
include config.mk
|
||||
|
||||
|
||||
GHMAKE=ghc
|
||||
GHCI=ghci
|
||||
@@ -45,13 +47,13 @@ api:
|
||||
shell:
|
||||
$(GHMAKE) $(GHCFLAGS) $(GHCINCLUDE) --make Shell.hs
|
||||
clean:
|
||||
rm -rf */*.o */*.hi *.o *.hi */*.ghi *.ghi *~ */*~
|
||||
-rm -rf */*.o */*.hi *.o *.hi */*.ghi *.ghi *~ */*~
|
||||
hugs:
|
||||
hugs -h10M -P$(HUGSINCLUDE)
|
||||
ghci-nofud:
|
||||
$(GHCI) $(GHCFLAGS) $(GHCINCLUDENOFUD)
|
||||
today:
|
||||
runhugs util/MkToday
|
||||
util/mktoday.sh
|
||||
javac:
|
||||
cd java ; javac *.java ; cd ..
|
||||
help:
|
||||
@@ -61,3 +63,8 @@ help:
|
||||
tracing:
|
||||
$(GHMAKE) $(GHCFLAGS) -itrace $(GHCINCLUDENOFUD) --make GF.hs -o gf2 ; strip gf2 ; mv gf2 ../bin/
|
||||
|
||||
distclean: clean
|
||||
-rm -f config.status config.mk config.log
|
||||
|
||||
install:
|
||||
$(INSTALL) ../bin/gf2 $(bindir)
|
||||
|
||||
Reference in New Issue
Block a user