Makefile revision 26db4a742376d513cdba128780ee8ca60eeb927e
mcc: *.hs
ghc -o $@ --make Main.hs
clean:
-rm *.hi *.o mcc
demo: mcc mutex.smv
./mcc "AG(request -> F status=busy)" < mutex.smv | NuSMV
demo2: mcc formula.txt mutex.smv
./mcc formula.txt < mutex.smv | NuSMV