]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/test/Makefile
First commit towards the 0.2.8 version.
[helm.git] / helm / DEVEL / lablgtkmathview / test / Makefile
index 514d246400b7f9f203b7556a3956c3a6f349b32c..32f93214566a25b16e7b679d7c57c3c989b138e5 100644 (file)
@@ -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