SPINPATH = spin
OPTIONSCOMP= -DCOLLAPSE -DMEMLIM=12000
OPTIONS= -w27

syntax_check:
	$(SPINPATH) -a -v pan_in

syntax_check_vi: 
	$(SPINPATH) -a $(SOURCE)

verify_progress: pan.c
	gcc -O2 -DXUSAFE -DNP -DNOCLAIM $(OPTIONSCOMP) -w -o pan pan.c
	./pan -m10000 -l $(OPTIONS)

verify_safety: pan.c
	gcc -O2 -DXUSAFE -DSAFETY -DNOCLAIM $(OPTIONSCOMP) -w -o pan pan.c
	./pan -m10000 $(OPTIONS)

verify_all: verify_safety verify_progress

verify_depth_safety: pan.c
	gcc -O2 -DXUSAFE -DSAFETY -DNOCLAIM $(OPTIONSCOMP) -w -o pan pan.c
	./pan -m$(DEPTH) -b $(OPTIONS)

verify_depth_progress: pan.c
	gcc -O2 -DXUSAFE -DNP -DNOCLAIM $(OPTIONSCOMP) -w -o pan pan.c
	./pan -m$(DEPTH) -l -b $(OPTIONS)

trace: 
	$(SPINPATH) -t -p $(PMLFILE) | tee trace_out

tracedia: 
	$(SPINPATH) -t -c $(PMLFILE) | tee trace_dia

pan.c: $(PMLFILE)
	$(SPINPATH) -a $(PMLFILE)
clean:
	rm pan*