fs2pv=fs2pv.exe -maxopt
proverif=proverif -in pi

all: emv.pv emv.res

%.pv: %.query lib/syslib.fsi lib/syslib-a.fs lib/data.fsi lib/data-a.fs lib/net.fsi lib/net-a.fs lib/crypto.fsi lib/crypto-a.fs lib/apdu.fsi lib/apdu-a.fs %.fsi %.fs
	$(fs2pv) -o $@ -q $^
	sed -e 's/event Ev(\([a-zA-Z0-9(), ]*\))/event \1/g' $@ > $@.sed
	mv $@.sed $@

%.res: %.pv
	$(proverif) $^ | tee $@
	cat $@ | grep RESULT

clean:
	@rm -f *.pv *.res
