all: objects theories

objects:
	coqc -R CCS Marseille.CCS CCS/*.v
	echo "Load Verbose prova_Marseille_CCS." | coqtop.byte -R CCS Marseille.CCS

theories:
	./exporttheories.sh

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