diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 13 |
1 files changed, 9 insertions, 4 deletions
@@ -249,8 +249,8 @@ endif tools/compiler_expand: tools/compiler_expand.ml ifeq ($(OCAML_NATIVE_COMP),true) ocamlopt -o $@ $+ - ocamlc -o $@ $+ else + ocamlc -o $@ $+ endif tools/modorder: tools/modorder.ml @@ -274,6 +274,11 @@ latexdoc: @tools/ndfun $*.vp > $*.v || { rm -f $*.v; exit 2; } @chmod a-w $*.v +extraction/extraction.v: Makefile extraction/extraction.vexpand + cat extraction/extraction.vexpand > extraction/extraction.v + echo "$(EXTRA_EXTRACTION)" >> extraction/extraction.v + echo "." >> extraction/extraction.v + driver/Compiler.v: driver/Compiler.vexpand tools/compiler_expand tools/compiler_expand driver/Compiler.vexpand $@ @@ -354,10 +359,10 @@ clean: rm -f $(patsubst %, %/*.vo*, $(DIRS)) rm -f $(patsubst %, %/.*.aux, $(DIRS)) rm -rf doc/html doc/*.glob - rm -f driver/Version.ml + rm -f driver/Version.ml driver/Compiler.v rm -f compcert.ini compcert.config - rm -f extraction/STAMP extraction/*.ml extraction/*.mli .depend.extr - rm -f tools/ndfun tools/modorder tools/*.cm? tools/*.o + rm -f extraction/STAMP extraction/*.ml extraction/*.mli .depend.extr extraction/extraction.v + rm -f tools/ndfun tools/modorder tools/compiler_expand tools/*.cm? tools/*.o rm -f $(GENERATED) .depend rm -f .lia.cache $(MAKE) -f Makefile.extr clean |