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

[match/match.git] / program / Makefile

diff --git a/program/Makefile b/program/Makefile
index 78eb667..d72db83 100644 (file)
--- a/program/Makefile
+++ b/program/Makefile
@@ -2,8 +2,12 @@
 # -cpp: Handle GHC 6.6.1 compatibility checks.
 # -fglasgow-exts: Handle rank-2 type of RandomizedMonad, among other things.
 all:
-       ghc -cpp -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 -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?