14 lines
527 B
Diff
14 lines
527 B
Diff
|
--- cil.orig/Makefile.in 2007-02-05 21:10:29.000000000 +0000
|
||
|
+++ cil/Makefile.in 2008-12-05 17:03:59.000000000 +0000
|
||
|
@@ -273,7 +273,9 @@
|
||
|
ifeq ($(NATIVECAML),1)
|
||
|
$(OBJDIR)/libcil.a: $(OCAML_CIL_LIB_CMODULES:%=$(OBJDIR)/lib%.a) \
|
||
|
$(OCAML_CIL_LIB_MODULES:%=$(OBJDIR)/%.$(CMO))
|
||
|
- ocamlopt -output-obj -o $@ $(CILLY_LIBS:%=%.cmxa) $^
|
||
|
+ ocamlopt -output-obj -o tmpcil.o $(CILLY_LIBS:%=%.cmxa) $^
|
||
|
+ ar rcs $@ tmpcil.o
|
||
|
+ rm -f tmpcil.o
|
||
|
else
|
||
|
$(OBJDIR)/libcil.a:
|
||
|
@echo "Can only build $@ when NATIVECAML is 1."
|