spinmodel: test.drv test.c
	cat test.drv test.pml test.ltl > spinmodel.pml

spin:
	spin -DSOMEVALUE=1 -a spinmodel.pml
	cc -D SOMEVALUE=1 -o test pan.c test.c

modex: test.prx
	modex test.prx
	cat test.drv model test.ltl > spinmodel.pml

spinrun: spin
	./test

spintrail: spinmodel.pml.trail
	spin -DSOMEVALUE=1 -pg -t spinmodel.pml

clean:
	rm -fv spinmodel.pml model *~  *.run *.trail *.tmp pan.* test
