X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk_gtkmathview%2Flablgtk-20000829_gtkmathview-0.2.0%2Ftest%2FMakefile;h=ffc2b47714b74e189e3f3737d1745bd715a83de0;hb=0d9d6be5c3d0800c30af3db0d76101dc54743464;hp=788db50a75a573990d764b1c184188a7064f508e;hpb=4b993948e0b13d53d00576f9d341fd2e2a4c9c14;p=helm.git

diff --git a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/test/Makefile b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/test/Makefile
index 788db50a7..ffc2b4771 100644
--- a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/test/Makefile
+++ b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/test/Makefile
@@ -1,7 +1,10 @@
 LABLGTK_DIR = /usr/lib/ocaml/lablgtk
 LABLGTK_MATHVIEW_DIR = ..
-OCAMLC = ocamlc -I $(LABLGTK_DIR) -I $(LABLGTK_MATHVIEW_DIR) -I mlmathview
-OCAMLOPT = ocamlopt -I $(LABLGTK_DIR) -I $(LABLGTK_MATHVIEW_DIR) -I mlmathview
+MINIDOM_DIR = ../minidom
+OCAMLC = ocamlc -I $(LABLGTK_DIR) -I $(LABLGTK_MATHVIEW_DIR) \
+ -I $(MINIDOM_DIR) -I mlmathview
+OCAMLOPT = ocamlopt -I $(LABLGTK_DIR) -I $(LABLGTK_MATHVIEW_DIR) \
+ -I $(MINIDOM_DIR) -I mlmathview
 
 all: test
 opt: test.opt
@@ -9,6 +12,8 @@ opt: test.opt
 test: test.cmo
 	$(OCAMLC) -custom -o test lablgtk.cma gtkInit.cmo \
                   $(LABLGTK_MATHVIEW_DIR)/lablgtkmathview.cma \
+                  $(MINIDOM_DIR)/minidom.cmo \
+                  -cclib "$(MINIDOM_DIR)/ml_minidom.o" \
                   test.cmo \
                   -cclib "-lstr -L/usr/lib -L/usr/X11R6/lib -lgtk -lgdk \
                   -rdynamic -lgmodule -lglib -ldl -lXi -lXext -lX11 -lm \
@@ -18,6 +23,8 @@ test: test.cmo
 test.opt: test.cmx
 	$(OCAMLOPT) -o test.opt lablgtk.cmxa gtkInit.cmx \
                   $(LABLGTK_MATHVIEW_DIR)/lablgtkmathview.cmxa \
+                  $(MINIDOM_DIR)/minidom.cmx \
+                  -cclib "$(MINIDOM_DIR)/ml_minidom.o" \
                   test.cmx \
                   -cclib "-lstr -L/usr/lib -L/usr/X11R6/lib -lgtk -lgdk \
                   -rdynamic -lgmodule -lglib -ldl -lXi -lXext -lX11 -lm \