]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/interface/Makefile
Upgraded to mml-widget version 0.2.1
[helm.git] / helm / interface / Makefile
index c3aa28f87aeeae9ca6ee6f155e0c063d13de66b2..d2fddf453bf4c6751910f1d402dc31f1217794a0 100644 (file)
@@ -1,6 +1,6 @@
 LABLGTK_DIR = /usr/lib/ocaml/lablgtk
 LABLGTK_MATHVIEW_DIR = /usr/lib/ocaml/lablgtk/mathview
-MINIDOM_DIR = /usr/lib/ocaml/lablgtk/mathview/minidom
+MINIDOM_DIR = /usr/lib/ocaml/minidom
 PXP_DIR = /usr/lib/ocaml/site-lib/pxp
 NETSTRING_DIR = /usr/lib/ocaml/site-lib/netstring
 OCAMLC = ocamlc -I $(LABLGTK_DIR) -I $(LABLGTK_MATHVIEW_DIR) -I $(PXP_DIR) -I $(NETSTRING_DIR) -I $(MINIDOM_DIR) -I mlmathview
@@ -106,8 +106,9 @@ depend:
 mmlinterface: $(MMLINTERFACEOBJS)
        $(OCAMLC) -custom -o mmlinterface str.cma unix.cma $(PXPLIBS) dbm.cma \
                   lablgtk.cma gtkInit.cmo \
-                  $(LABLGTK_MATHVIEW_DIR)/lablgtkmathview.cma \
                   $(MINIDOM_DIR)/minidom.cmo \
+                  $(MINIDOM_DIR)/ominidom.cmo \
+                  $(LABLGTK_MATHVIEW_DIR)/lablgtkmathview.cma \
                   $(MMLINTERFACEOBJS) \
                   -cclib "-lstr -L/usr/lib -L/usr/X11R6/lib -lgtk -lgdk \
                   -rdynamic -lgmodule -lglib -ldl -lXi -lXext -lX11 -lm \
@@ -119,8 +120,9 @@ mmlinterface: $(MMLINTERFACEOBJS)
 mmlinterface.opt: $(MMLINTERFACEOPTOBJS)
        $(OCAMLOPT) -o mmlinterface.opt str.cmxa $(PXPLIBSOPT) unix.cmxa \
                     dbm.cmxa lablgtk.cmxa gtkInit.cmx \
-                    $(LABLGTK_MATHVIEW_DIR)/lablgtkmathview.cmxa \
                     $(MINIDOM_DIR)/minidom.cmx \
+                    $(MINIDOM_DIR)/ominidom.cmx \
+                    $(LABLGTK_MATHVIEW_DIR)/lablgtkmathview.cmxa \
                     $(MMLINTERFACEOPTOBJS) \
                     -cclib "-lstr -L/usr/lib -L/usr/X11R6/lib -lgtk -lgdk \
                     -rdynamic -lgmodule -lglib -ldl -lXi -lXext -lX11 -lm \