X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Focaml%2FMakefile.am;fp=helm%2FDEVEL%2Fmathml_editor%2Focaml%2FMakefile.am;h=4dda15c24ce7b724049c90e400c269cb2c05c8c3;hb=2e6967711a0656d59f127104a4ec68ebe8043f87;hp=4a0900797add755263f504cd554933e623bf890f;hpb=b833f28638c2b0c1fd91198950e439a6ac6f9a97;p=helm.git diff --git a/helm/DEVEL/mathml_editor/ocaml/Makefile.am b/helm/DEVEL/mathml_editor/ocaml/Makefile.am index 4a0900797..4dda15c24 100644 --- a/helm/DEVEL/mathml_editor/ocaml/Makefile.am +++ b/helm/DEVEL/mathml_editor/ocaml/Makefile.am @@ -23,7 +23,7 @@ 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 +SHARED_LIBS = $(GMETADOM_LIBS) $(GDOMEXSLT_LIBS) -lmlgdome2-xslt -lmlgdome -lstdc++ 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