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."
|