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