Matt McCutchen's Web Site
/
match
/
match.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge branch 'master' into popl2012
[match/match.git]
/
program
/
Makefile
diff --git
a/program/Makefile
b/program/Makefile
index
eb0274a
..
d72db83
100644
(file)
--- a/
program/Makefile
+++ b/
program/Makefile
@@
-1,5
+1,13
@@
# Let's keep it simple for now.
# Let's keep it simple for now.
+# -cpp: Handle GHC 6.6.1 compatibility checks.
+# -fglasgow-exts: Handle rank-2 type of RandomizedMonad, among other things.
all:
all:
- ghc -fglasgow-exts --make -c *.hs
+# ghc -cpp -fglasgow-exts --make -c *.hs
+ ghc -cpp -fglasgow-exts --make *.hs -o match
+all-optimized:
+# ghc -cpp -fglasgow-exts --make -O -hisuf O.hi -osuf O.o -c *.hs
+ ghc -cpp -fglasgow-exts --make -O -hisuf O.hi -osuf O.o *.hs -o match.O
clean:
clean:
- rm -f *.hi *.o
+ rm -f *.hi *.o match
+
+# Necessary libraries (on Fedora): ghc-fgl, ghc-csv. Others I miss?