
# Makefile for PVS directories

WWWDIR:=$(HOME)/www/alfa-www/askra-root/lehre/angewandte-verifikation

all:
	true

.PHONY: clean
clean:
	rm -f *.bin
	rm -rf pvsbin
	rm -f .pvscontext
	rm -f *_adt.p*

list_props.tar.gz: Makefile list_props.pvs list_props.prf
	tar -cvzf list_props.tar.gz Makefile list_props.pvs list_props.prf


choose.tar.gz: choose.pvs choose.prf
	tar -cvzf choose.tar.gz choose.pvs choose.prf

.PHONY: wwwcopy
wwwcopy: choose.tar.gz list_props.tar.gz
	cp list_props.tar.gz $(WWWDIR)
	cp choose.tar.gz $(WWWDIR)
	cp sum.pvs $(WWWDIR)
