X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2Ftest%2FMakefile;h=32f93214566a25b16e7b679d7c57c3c989b138e5;hb=aa4eb8949201e7a7b54e3459ec0fe271e126049c;hp=514d246400b7f9f203b7556a3956c3a6f349b32c;hpb=60d4605204ba0e63c546e7d0c3318d64b34ea86e;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/test/Makefile b/helm/DEVEL/lablgtkmathview/test/Makefile
index 514d24640..32f932145 100644
--- a/helm/DEVEL/lablgtkmathview/test/Makefile
+++ b/helm/DEVEL/lablgtkmathview/test/Makefile
@@ -1,45 +1,18 @@
-LABLGTK_DIR = /usr/lib/ocaml/lablgtk
-LABLGTK_MATHVIEW_DIR = ..
-MINIDOM_DIR = /usr/lib/ocaml/mlminidom
-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
+# Generated automatically from Makefile.in by configure.
+PACKAGE = lablgtkmathview
+MLFLAGS =
+OCAMLC = ocamlfind ocamlc $(MLFLAGS)
+OCAMLOPT = ocamlfind ocamlopt $(MLFLAGS)
+TMPDIR = .test
 
 all: test
 opt: test.opt
 
-test: test.cmo
-	$(OCAMLC) -custom -o test lablgtk.cma gtkInit.cmo \
-                  $(MINIDOM_DIR)/minidom.cmo \
-                  $(MINIDOM_DIR)/ominidom.cmo \
-                  $(LABLGTK_MATHVIEW_DIR)/lablgtkmathview.cma \
-                  -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 \
-                  -L/usr/local/lib/gtkmathview -lgtkmathview \
-                  $(LABLGTK_MATHVIEW_DIR)/ml_gtk_mathview.o"
+test: test.ml
+	$(OCAMLC) -package "$(PACKAGE)" -linkpkg -predicates "" -o $@ test.ml
 
-test.opt: test.cmx
-	$(OCAMLOPT) -o test.opt lablgtk.cmxa gtkInit.cmx \
-                  $(MINIDOM_DIR)/minidom.cmx \
-                  $(MINIDOM_DIR)/ominidom.cmx \
-                  $(LABLGTK_MATHVIEW_DIR)/lablgtkmathview.cmxa \
-                  -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 \
-                  -L/usr/local/lib/gtkmathview -lgtkmathview \
-                  $(LABLGTK_MATHVIEW_DIR)/ml_gtk_mathview.o"
-
-.SUFFIXES: .ml .mli .cmo .cmi .cmx
-.ml.cmo:
-	$(OCAMLC) -c $<
-.mli.cmi:
-	$(OCAMLC) -c $<
-.ml.cmx:
-	$(OCAMLOPT) -c $<
+test.opt: test.ml
+	$(OCAMLOPT) -package "$(PACKAGE)" -linkpkg -predicates "" -o $@ test.ml
 
 clean:
 	rm -f *.cm[iox] *.o test test.opt t1lib.log test.ps