all: objects theories

objects:
	coqc -R EXCEPTIONS Bordeaux.EXCEPTIONS EXCEPTIONS/*.v
	echo "Load Verbose prova_Bordeaux_EXCEPTIONS." | coqtop.byte -R EXCEPTIONS Bordeaux.EXCEPTIONS

theories:
	./exporttheories.sh

clean:
	rm -f *.vo EXCEPTIONS/*.vo