]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/gdome_xslt/ocaml/test/Makefile
...
[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         $(OCAMLC) -linkpkg -o $@ $<
12
13 test.opt: test.ml
14         $(OCAMLOPT) -linkpkg -o $@ $<
15
16 clean:
17         rm -f test test.opt test.cmi test.cmo text.cmx