]> matita.cs.unibo.it Git - helm.git/commitdiff
* added dependencies to the ocaml shared stub lib
authorLuca Padovani <luca.padovani@unito.it>
Wed, 2 Apr 2003 12:06:00 +0000 (12:06 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Wed, 2 Apr 2003 12:06:00 +0000 (12:06 +0000)
helm/DEVEL/mathml_editor/ocaml/Makefile.am

index 97c09df350df28f55c403168280334de64a6848a..4a0900797add755263f504cd554933e623bf890f 100644 (file)
@@ -74,7 +74,7 @@ $(DLL) $(ARCHIVE).a: $(LO_S)
        for f in $(LO_S); do    \
                cp $$f $$f.o;   \
        done
-       $(OCAMLMKLIB) -o $(ARCHIVE) $(GDOME_LIBS) $(LO_S:%=%.o)
+       $(OCAMLMKLIB) -o $(ARCHIVE) -L@OCAMLSTUBDIR@ $(SHARED_LIBS) $(LO_S:%=%.o)
        for f in $(LO_S:%=%.o); do      \
                rm $$f; \
        done