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=a85b99978ee2ec6c0bf92316bb2bddeda7de3222;hb=d195deff022235dcb39cc4d5865f5bd3c8d3ca07;hp=b43a0650eac71e4c12b8c40112a43ab1abb3fdb8;hpb=6443fd5b20956aa4eb9df73e4bc56824be0bef4b;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/ocaml/Makefile.am b/helm/DEVEL/mathml_editor/ocaml/Makefile.am
index b43a0650e..a85b99978 100644
--- a/helm/DEVEL/mathml_editor/ocaml/Makefile.am
+++ b/helm/DEVEL/mathml_editor/ocaml/Makefile.am
@@ -2,9 +2,10 @@ PKGNAME = mathml-editor
 ARCHIVE = mlmathml-editor
 REQUIRES = gdome2 gdome2-xslt
 OCAMLFIND = @OCAMLFIND@
-OCAMLC = $(OCAMLFIND) @OCAMLC@ -package "$(REQUIRES)"
-OCAMLOPT = $(OCAMLFIND) @OCAMLOPT@ -package "$(REQUIRES)"
-OCAMLDEP = $(OCAMLFIND) @OCAMLDEP@ -package "$(REQUIRES)"
+OCAMLFLAGS = -I $(top_srcdir)/ocaml
+OCAMLC = $(OCAMLFIND) @OCAMLC@ $(OCAMLFLAGS) -package "$(REQUIRES)"
+OCAMLOPT = $(OCAMLFIND) @OCAMLOPT@ $(OCAMLFLAGS) -package "$(REQUIRES)"
+OCAMLDEP = $(OCAMLFIND) @OCAMLDEP@ $(OCAMLFLAGS) -package "$(REQUIRES)"
 if HAVE_SHAREDLIBS_COND
 OCAMLMKLIBFLAGS = 
 else
@@ -30,7 +31,7 @@ NATIVE_INSTALL_STUFF = $(NATIVE_STUFF)
 
 EXTRA_DIST =	\
 	META.in mathml_editor.ml i_mathml_editor.ml	\
-	ml_mathml_editor.h c_mathml_editor.h .depend
+	c_mathml_editor.h .depend
 
 if HAVE_OCAMLOPT_COND
 noinst_DATA = $(BYTE_STUFF) $(NATIVE_STUFF)