Cross Reference: Makefile
xref
: /
hets
/
Temporal
/
Makefile
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
Makefile revision 74eed04be26f549d2f7ca35c370e1c03879b28b1
26db4a742376d513cdba128780ee8ca60eeb927e
Till Mossakowski
mcc
: *.
hs
26db4a742376d513cdba128780ee8ca60eeb927e
Till Mossakowski
ghc
-o $@ --
make
Main.hs
26db4a742376d513cdba128780ee8ca60eeb927e
Till Mossakowski
26db4a742376d513cdba128780ee8ca60eeb927e
Till Mossakowski
clean
:
26db4a742376d513cdba128780ee8ca60eeb927e
Till Mossakowski
-
rm
*.
hi
*.o
mcc
26db4a742376d513cdba128780ee8ca60eeb927e
Till Mossakowski
26db4a742376d513cdba128780ee8ca60eeb927e
Till Mossakowski
demo
:
mcc
mutex.smv
26db4a742376d513cdba128780ee8ca60eeb927e
Till Mossakowski
./
mcc
"AG(request -> F status=busy)"
<
mutex.smv
|
NuSMV
26db4a742376d513cdba128780ee8ca60eeb927e
Till Mossakowski
26db4a742376d513cdba128780ee8ca60eeb927e
Till Mossakowski
demo2
:
mcc
formula.txt
mutex.smv
26db4a742376d513cdba128780ee8ca60eeb927e
Till Mossakowski
./
mcc
formula.txt
<
mutex.smv
|
NuSMV