Add command-line interface ./match (adapted from POPL 2012 version).

[match/match.git] / program / Makefile

diff --git a/program/Makefile b/program/Makefile
index df9942e..d72db83 100644 (file)
--- a/program/Makefile
+++ b/program/Makefile
@@ -1,7 +1,13 @@
 # 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:
-       ghc -fglasgow-exts --make -c *.hs
+#      ghc -cpp -fglasgow-exts --make -c *.hs
+       ghc -cpp -fglasgow-exts --make *.hs -o match
 all-optimized:
-       ghc -fglasgow-exts --make -O -hisuf O.hi -osuf O.o -c *.hs
+#      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:
-       rm -f *.hi *.o
+       rm -f *.hi *.o match
+
+# Necessary libraries (on Fedora): ghc-fgl, ghc-csv.  Others I miss?