Add command-line interface ./match (adapted from POPL 2012 version).
[match/match.git] / program / Makefile
CommitLineData
d7d9561e 1# Let's keep it simple for now.
7b8c0e4e
MM
2# -cpp: Handle GHC 6.6.1 compatibility checks.
3# -fglasgow-exts: Handle rank-2 type of RandomizedMonad, among other things.
d7d9561e 4all:
bbabbd01
MM
5# ghc -cpp -fglasgow-exts --make -c *.hs
6 ghc -cpp -fglasgow-exts --make *.hs -o match
2ed0056e 7all-optimized:
bbabbd01
MM
8# ghc -cpp -fglasgow-exts --make -O -hisuf O.hi -osuf O.o -c *.hs
9 ghc -cpp -fglasgow-exts --make -O -hisuf O.hi -osuf O.o *.hs -o match.O
d7d9561e 10clean:
bbabbd01
MM
11 rm -f *.hi *.o match
12
13# Necessary libraries (on Fedora): ghc-fgl, ghc-csv. Others I miss?