.PHONY: clean
clean:
	-rm -rf *~ pan.c pan.h pan.t pan.m pan.b msdn_example.pml.trail pan msdn_example.log
pan.c: msdn_example.pml
	spin -a msdn_example.pml
pan: pan.c
	gcc -DMEMLIM=3300 -O3 -DXUSAFE -DSAFETY -DNOCLAIM -DMA=217 -DNOFAIR -DSPACE -w -o pan pan.c
msdn_example.log: pan
	/usr/bin/time -p -o msdn_example.log ./pan -m480 -w24 1>>msdn_example.log 2>>msdn_example.log