]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/gdome_xslt/ocaml/test/Makefile
* patches for ocaml compilation
[helm.git] / helm / DEVEL / gdome_xslt / ocaml / test / Makefile
1 REQUIRES = gdome2-xslt
2 PREDICATES =
3 OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
4 OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS)
5 OCAMLOPT = ocamlfind ocamlopt $(OCAMLOPTIONS)
6
7 all: test
8 opt: test.opt
9
10 test: test.ml
11         ( export OCAMLPATH=.; $(OCAMLC) -linkpkg -o $@ $< )
12
13 test.opt: test.ml
14         ( export OCAMLPATH=.; $(OCAMLOPT) -linkpkg -o $@ $< )
15
16 clean:
17         rm -f test test.opt test.cmi test.cmo text.cmx