From: Luca Padovani <luca.padovani@unito.it>
Date: Wed, 2 Apr 2003 12:06:00 +0000 (+0000)
Subject: * added dependencies to the ocaml shared stub lib
X-Git-Tag: before_refactoring~58
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b833f28638c2b0c1fd91198950e439a6ac6f9a97;p=helm.git

* added dependencies to the ocaml shared stub lib
---

diff --git a/helm/DEVEL/mathml_editor/ocaml/Makefile.am b/helm/DEVEL/mathml_editor/ocaml/Makefile.am
index 97c09df35..4a0900797 100644
--- a/helm/DEVEL/mathml_editor/ocaml/Makefile.am
+++ b/helm/DEVEL/mathml_editor/ocaml/Makefile.am
@@ -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