projects
/
cubicaltt.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
0ab6ea2
)
compile with -rtsopts so you can set the stack space
author
Dan Licata
<drl@cs.cmu.edu>
Sat, 2 May 2015 14:45:59 +0000
(10:45 -0400)
committer
Dan Licata
<drl@cs.cmu.edu>
Sat, 2 May 2015 14:45:59 +0000
(10:45 -0400)
Makefile
patch
|
blob
|
blame
|
history
diff --git
a/Makefile
b/Makefile
index 4e81cf6ec819e88b71a6ab516ef15bd1d053c40f..f91306471fc6a641f4fadf4b0500235ce522d98e 100644
(file)
--- a/
Makefile
+++ b/
Makefile
@@
-3,7
+3,7
@@
GHC=ghc
OPT=2
all:
- $(GHC) --make -O$(OPT) -o cubical
Main.hs
+ $(GHC) --make -O$(OPT) -o cubical
-rtsopts Main.hs
bnfc:
bnfc --haskell -d Exp.cf
happy -gca Exp/Par.y