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=1d5f5e1f396128fc0faf6f0a776815fcf965293b;hb=b1fb6b8e1767d775bc452303629e95941d142bea;hp=788db50a75a573990d764b1c184188a7064f508e;hpb=5a19cfcbebeb144bce8a9c397788641239fde570;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..1d5f5e1f3 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 \
@@ -33,4 +40,4 @@ test.opt: test.cmx
 	$(OCAMLOPT) -c $<
 
 clean:
-	rm -f *.cm[iox] *.o test test.opt
+	rm -f *.cm[iox] *.o test test.opt t1lib.log