diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -95,7 +95,6 @@ proof: $(FILES:.v=.vo) extraction: rm -f extraction/*.ml extraction/*.mli $(COQEXEC) extraction/extraction.v - cd extraction && ./fixextract ccomp: driver/Configuration.ml $(OCAMLBUILD) $(OCB_OPTIONS) Driver.native \ |