]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.1/test/Makefile
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / DEVEL / lablgtk_gtkmathview / lablgtk-20001129_gtkmathview-0.2.1 / test / Makefile
1 LABLGTK_DIR = /usr/lib/ocaml/lablgtk
2 LABLGTK_MATHVIEW_DIR = ..
3 MINIDOM_DIR = ../minidom
4 OCAMLC = ocamlc -I $(LABLGTK_DIR) -I $(LABLGTK_MATHVIEW_DIR) \
5  -I $(MINIDOM_DIR) -I mlmathview
6 OCAMLOPT = ocamlopt -I $(LABLGTK_DIR) -I $(LABLGTK_MATHVIEW_DIR) \
7  -I $(MINIDOM_DIR) -I mlmathview
8
9 all: test
10 opt: test.opt
11
12 test: test.cmo
13         $(OCAMLC) -custom -o test lablgtk.cma gtkInit.cmo \
14                   $(MINIDOM_DIR)/minidom.cmo \
15                   $(MINIDOM_DIR)/ominidom.cmo \
16                   $(LABLGTK_MATHVIEW_DIR)/lablgtkmathview.cma \
17                   -cclib "$(MINIDOM_DIR)/ml_minidom.o" \
18                   test.cmo \
19                   -cclib "-lstr -L/usr/lib -L/usr/X11R6/lib -lgtk -lgdk \
20                   -rdynamic -lgmodule -lglib -ldl -lXi -lXext -lX11 -lm \
21                   -L/usr/local/lib/gtkmathview -lgtkmathview \
22                   $(LABLGTK_MATHVIEW_DIR)/ml_gtk_mathview.o"
23
24 test.opt: test.cmx
25         $(OCAMLOPT) -o test.opt lablgtk.cmxa gtkInit.cmx \
26                   $(MINIDOM_DIR)/minidom.cmx \
27                   $(MINIDOM_DIR)/ominidom.cmx \
28                   $(LABLGTK_MATHVIEW_DIR)/lablgtkmathview.cmxa \
29                   -cclib "$(MINIDOM_DIR)/ml_minidom.o" \
30                   test.cmx \
31                   -cclib "-lstr -L/usr/lib -L/usr/X11R6/lib -lgtk -lgdk \
32                   -rdynamic -lgmodule -lglib -ldl -lXi -lXext -lX11 -lm \
33                   -L/usr/local/lib/gtkmathview -lgtkmathview \
34                   $(LABLGTK_MATHVIEW_DIR)/ml_gtk_mathview.o"
35
36 .SUFFIXES: .ml .mli .cmo .cmi .cmx
37 .ml.cmo:
38         $(OCAMLC) -c $<
39 .mli.cmi:
40         $(OCAMLC) -c $<
41 .ml.cmx:
42         $(OCAMLOPT) -c $<
43
44 clean:
45         rm -f *.cm[iox] *.o test test.opt t1lib.log test.ps