X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Focaml%2FMakefile.am;h=450d61ab0393d149625e69a3558d8bcb9022eea6;hb=7ff1d2d20dcbb6fff9cee36686bd08d1e1e3bf91;hp=a85b99978ee2ec6c0bf92316bb2bddeda7de3222;hpb=d195deff022235dcb39cc4d5865f5bd3c8d3ca07;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/ocaml/Makefile.am b/helm/DEVEL/mathml_editor/ocaml/Makefile.am
index a85b99978..450d61ab0 100644
--- a/helm/DEVEL/mathml_editor/ocaml/Makefile.am
+++ b/helm/DEVEL/mathml_editor/ocaml/Makefile.am
@@ -23,8 +23,8 @@ CMO_S = $(MODULES:%=%.cmo)
 CMX_S = $(MODULES:%=%.cmx)
 O_S = ml_mathml_editor.o c_mathml_editor.o
 LO_S = $(O_S:%.o=%.lo)
-SHARED_LIBS = $(GMETADOM_LIBS) $(GDOMEXSLT_LIBS) -lmlgdome2-xslt -lmlgdome
-BYTE_STUFF = i_mathml_editor.cmi mathml_editor.cmi $(ARCHIVE).cma $(DLL)
+SHARED_LIBS = $(GMETADOM_LIBS) $(GDOMEXSLT_LIBS) -lmlgdome2-xslt -lmlgdome -lstdc++ -L$(top_builddir)/src/.libs/ -leditex
+BYTE_STUFF = i_mathml_editor.cmi mathml_editor.cmi $(ARCHIVE).cma $(DLL) lib$(ARCHIVE).a
 NATIVE_STUFF = $(ARCHIVE).cmxa $(ARCHIVE).a
 BYTE_INSTALL_STUFF = $(BYTE_STUFF) META
 NATIVE_INSTALL_STUFF = $(NATIVE_STUFF)
@@ -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
@@ -91,7 +91,7 @@ i_mathml_editor.cmo: i_mathml_editor.ml
 i_mathml_editor.cmx: i_mathml_editor.ml
 	$(OCAMLOPT) -c $<
 
-depend: *.ml *.mli
-	$(OCAMLDEP) *.ml *.mli >.depend
+depend: *.ml
+	$(OCAMLDEP) *.ml >.depend
 include .depend