]> matita.cs.unibo.it Git - helm.git/commitdiff
Bug fixed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 14 Nov 2001 15:17:45 +0000 (15:17 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 14 Nov 2001 15:17:45 +0000 (15:17 +0000)
helm/DEVEL/mlminidom/Makefile.in

index be70e3224911d4be144f0dc2647eec291852fe5a..802da6faff37f840e32ffdaab9add50b6a54ad89 100644 (file)
@@ -52,12 +52,12 @@ depend: *.ml *.mli
 include .depend
 
 $(ARCHIVE): $(OBJECTS)
-       $(OCAMLC) -a -custom -package "$(REQUIRES)" -linkpkg \
+       $(OCAMLC) -a -custom -package "$(REQUIRES)" \
         -predicates "$(PREDICATES)" -o $@ $^ \
         -cclib "`glib-config --libs` `minidom-config --libs`"
 
 $(ARCHIVE_OPT): $(OBJECTS_OPT)
-       $(OCAMLOPT) -a -package "$(REQUIRES)" -linkpkg \
+       $(OCAMLOPT) -a -package "$(REQUIRES)" \
         -predicates "$(PREDICATES)" -o $@ $^ \
         -cclib "`glib-config --libs` `minidom-config --libs`"