summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authoraarne <unknown>2003-10-02 06:39:47 +0000
committeraarne <unknown>2003-10-02 06:39:47 +0000
commit8b6ef46f3185cd4267a9cdc0416ac96878715766 (patch)
tree18584d1154accd182de4de29407779ade345f980
parentbe81ac50a9ecf2b6457d4594a4b67972a1b0dd75 (diff)
path for parsing
-rw-r--r--src/Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Makefile b/src/Makefile
index 2a9019c03..68aa91bc4 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -1,7 +1,7 @@
GHMAKE=ghc
GHCFLAGS=-package lang -package util
GHCFUDFLAG=-package Fudgets
-GHCINCLUDE=-iapi -icompile -igrammar -iinfra -ishell -isource -icanonical -iuseGrammar -icf -ifor-ghc
+GHCINCLUDE=-iapi -icompile -igrammar -iinfra -ishell -isource -icanonical -iuseGrammar -icf -ifor-ghc -iparsing
all:
make today ; make ghc
@@ -16,7 +16,7 @@ shell:
clean:
rm -rf */*.o */*.hi *.o *.hi */*.ghi *.ghi *~ */*~
hugs:
- hugs -P.:for-hugs:api:source:canonical:cf:grammar:infra:shell:useGrammar:compile: GF
+ hugs -P.:for-hugs:api:source:canonical:cf:grammar:infra:shell:useGrammar:compile:parsing GF
today:
runhugs util/MkToday
javac: