# Makefile for PVS directories

all:
	true

pvssources=Makefile variance.prf variance.pvs typecheck.el all.pvs

dest=/tmp/tews/Variance
copy:
	rm -rf $(dest)
	mkdir -p $(dest)
	cp $(pvssources) $(dest)



clean:
	rm -f *bin
	rm -f .pvscontext
	rm -f *_adt.p*

