X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FEXPORT%2Fexport_Bordeaux_EXCEPTIONS%2FMakefile;fp=helm%2FEXPORT%2Fexport_Bordeaux_EXCEPTIONS%2FMakefile;h=0000000000000000000000000000000000000000;hb=e108abe5c0b4eb841c4ad332229a6c0e57e70079;hp=484f0972f822633221b103280c1b3e81ab95a0a7;hpb=1456c337a60f6677ee742ff7891d43fc382359a9;p=helm.git diff --git a/helm/EXPORT/export_Bordeaux_EXCEPTIONS/Makefile b/helm/EXPORT/export_Bordeaux_EXCEPTIONS/Makefile deleted file mode 100644 index 484f0972f..000000000 --- a/helm/EXPORT/export_Bordeaux_EXCEPTIONS/Makefile +++ /dev/null @@ -1,11 +0,0 @@ -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