diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-01-20 16:58:57 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-01-20 16:58:57 +0100 |
| commit | fe7da33a1992c3023a2e7e3f36c532ad10e3f236 (patch) | |
| tree | 4f1acbaa51bea8bb405858660e68cc5e3cd2ab93 /Makefile.extr | |
| parent | 9f2ca1049957004161834090a697cd4118e2fb08 (diff) | |
| parent | 860e340b9a383964773d9c4523fb02a1de407e7f (diff) | |
| download | compcert-kvx-fe7da33a1992c3023a2e7e3f36c532ad10e3f236.tar.gz compcert-kvx-fe7da33a1992c3023a2e7e3f36c532ad10e3f236.zip | |
Merge branch containing changes for windows compile.
Diffstat (limited to 'Makefile.extr')
| -rw-r--r-- | Makefile.extr | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/Makefile.extr b/Makefile.extr index 35ae5f7b..2afd6e31 100644 --- a/Makefile.extr +++ b/Makefile.extr @@ -90,11 +90,11 @@ CCOMP_OBJS:=$(shell $(MODORDER) driver/Driver.cmx) ccomp: $(CCOMP_OBJS) @echo "Linking $@" - @$(OCAMLOPT) -o $@ $(LIBS) $+ + @$(OCAMLOPT) -o $@ $(LIBS) $+ $(LINKERSPEC) ccomp.byte: $(CCOMP_OBJS:.cmx=.cmo) @echo "Linking $@" - @$(OCAMLC) -o $@ $(LIBS:.cmxa=.cma) $+ + @$(OCAMLC) -o $@ $(LIBS:.cmxa=.cma) $+ $(LINKERSPEC) ifeq ($(CCHECKLINK),true) @@ -156,6 +156,10 @@ clean: rm -f $(GENERATED) for d in $(ALLDIRS); do rm -f $$d/*.cm[iox] $$d/*.o; done +cleansource: + rm -f $(EXECUTABLES) + for d in $(ALLDIRS); do rm -f $$d/*.cm[iox] $$d/*.o; done + # Generation of .depend.extr depend: $(GENERATED) |