From: Claudio Sacerdoti Coen Date: Tue, 17 Feb 2004 16:59:34 +0000 (+0000) Subject: -linkall removed X-Git-Tag: v0_0_4~172 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d28f7a101a0d2d87a3051bd3b4a5e78d86f605ba;p=helm.git -linkall removed --- diff --git a/helm/ocaml/Makefile.common.in b/helm/ocaml/Makefile.common.in index bdcc27e86..984b97381 100644 --- a/helm/ocaml/Makefile.common.in +++ b/helm/ocaml/Makefile.common.in @@ -33,10 +33,10 @@ OBJECTS_TO_INSTALL = $(ARCHIVE) $(ARCHIVE_OPT) $(ARCHIVE_OPT:%.cmxa=%.a) \ DEPEND_FILES = $(INTERFACE_FILES) $(IMPLEMENTATION_FILES) $(ARCHIVE): $(IMPLEMENTATION_FILES:%.ml=%.cmo) $(LIBRARIES) - $(OCAMLC) -a -linkall -o $@ $(IMPLEMENTATION_FILES:%.ml=%.cmo) + $(OCAMLC) -a -o $@ $(IMPLEMENTATION_FILES:%.ml=%.cmo) $(ARCHIVE_OPT): $(IMPLEMENTATION_FILES:%.ml=%.cmx) $(LIBRARIES_OPT) - $(OCAMLOPT) -a -linkall -o $@ $(IMPLEMENTATION_FILES:%.ml=%.cmx) + $(OCAMLOPT) -a -o $@ $(IMPLEMENTATION_FILES:%.ml=%.cmx) prereq: $(PREREQ) all: prereq $(IMPLEMENTATION_FILES:%.ml=%.cmo) $(ARCHIVE)