mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-24 03:52:50 -06:00
optimization in make
This commit is contained in:
@@ -57,7 +57,7 @@ stripTerm t = case t of
|
|||||||
TWild ty -> TWild $ stripTerm ty
|
TWild ty -> TWild $ stripTerm ty
|
||||||
_ -> ti
|
_ -> ti
|
||||||
R [] -> EInt 8 --- GF 1.2 parser doesn't accept empty records
|
R [] -> EInt 8 --- GF 1.2 parser doesn't accept empty records
|
||||||
RecType [] -> Cn "Int" ---
|
RecType [] -> Cn (zIdent "Int") ---
|
||||||
_ -> composSafeOp stripTerm t
|
_ -> composSafeOp stripTerm t
|
||||||
|
|
||||||
stripPattern p = case p of
|
stripPattern p = case p of
|
||||||
|
|||||||
@@ -1,5 +1,6 @@
|
|||||||
GHMAKE=ghc
|
GHMAKE=ghc
|
||||||
GHCFLAGS=-package lang -package util -fglasgow-exts
|
GHCFLAGS=-package lang -package util -fglasgow-exts
|
||||||
|
GHCOPTFLAGS=-O -package lang -package util -fglasgow-exts
|
||||||
GHCFUDFLAG=-package Fudgets
|
GHCFUDFLAG=-package Fudgets
|
||||||
GHCINCLUDE=-iapi -icompile -igrammar -iinfra -ishell -isource -icanonical -iuseGrammar -icf -ifor-ghc -iparsing -iparsers
|
GHCINCLUDE=-iapi -icompile -igrammar -iinfra -ishell -isource -icanonical -iuseGrammar -icf -ifor-ghc -iparsing -iparsers
|
||||||
GHCINCLUDENOFUD=-iapi -icompile -igrammar -iinfra -ishell -isource -icanonical -iuseGrammar -icf -ifor-ghc-nofud -iparsing -iparsers
|
GHCINCLUDENOFUD=-iapi -icompile -igrammar -iinfra -ishell -isource -icanonical -iuseGrammar -icf -ifor-ghc-nofud -iparsing -iparsers
|
||||||
@@ -9,11 +10,14 @@ WINDOWSINCLUDE=-ifor-windows -iapi -icompile -igrammar -iinfra -ishell -isource
|
|||||||
all:
|
all:
|
||||||
make today ; make ghc
|
make today ; make ghc
|
||||||
unix:
|
unix:
|
||||||
make nofud-links ; make ghc
|
make nofud-links ; make opt
|
||||||
windows:
|
windows:
|
||||||
make nofud-links ; make justwindows
|
make nofud-links ; make justwindows
|
||||||
install-java:
|
install-java:
|
||||||
make javac ; cd ../bin ; ln -s ../src/java ; echo "PLEASE edit GFHOME in bin/jgf2"
|
make javac ; cd ../bin ; ln -s ../src/java ; echo "PLEASE edit GFHOME in bin/jgf2"
|
||||||
|
opt:
|
||||||
|
$(GHMAKE) $(GHCOPTFLAGS) $(GHCINCLUDENOFUD) --make GF.hs -o gf2 ; strip gf2 ; mv gf2 ../bin/
|
||||||
|
|
||||||
ghc:
|
ghc:
|
||||||
make nofud
|
make nofud
|
||||||
fud:
|
fud:
|
||||||
@@ -23,7 +27,7 @@ gft:
|
|||||||
nofud:
|
nofud:
|
||||||
$(GHMAKE) $(GHCFLAGS) $(GHCINCLUDENOFUD) --make GF.hs -o gf2 ; strip gf2 ; mv gf2 ../bin/
|
$(GHMAKE) $(GHCFLAGS) $(GHCINCLUDENOFUD) --make GF.hs -o gf2 ; strip gf2 ; mv gf2 ../bin/
|
||||||
justwindows:
|
justwindows:
|
||||||
$(GHMAKE) $(GHCFLAGS) $(WINDOWSINCLUDE) --make GF.hs -o gf2.exe ; strip gf2.exe ; mv gf2.exe ../bin/
|
$(GHMAKE) $(GHCOPTFLAGS) $(WINDOWSINCLUDE) --make GF.hs -o gf2.exe ; strip gf2.exe ; mv gf2.exe ../bin/
|
||||||
nofud-links:
|
nofud-links:
|
||||||
cd for-ghc-nofud ; rm -f *.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:
|
batch:
|
||||||
|
|||||||
@@ -1 +1 @@
|
|||||||
module Today where today = "Wed Apr 21 17:20:17 CEST 2004"
|
module Today where today = "Tue Apr 27 22:17:25 CEST 2004"
|
||||||
|
|||||||
Reference in New Issue
Block a user