]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/gdome_xslt/ocaml/test/Makefile
Initial version.
[helm.git] / helm / DEVEL / gdome_xslt / ocaml / test / Makefile
diff --git a/helm/DEVEL/gdome_xslt/ocaml/test/Makefile b/helm/DEVEL/gdome_xslt/ocaml/test/Makefile
new file mode 100644 (file)
index 0000000..b36523d
--- /dev/null
@@ -0,0 +1,17 @@
+REQUIRES = gdome_xslt
+PREDICATES =
+OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
+OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS)
+OCAMLOPT = ocamlfind ocamlopt $(OCAMLOPTIONS)
+
+all: test
+opt: test.opt
+
+test: test.ml
+       $(OCAMLC) -linkpkg -o $@ $<
+
+test.opt: test.ml
+       $(OCAMLOPT) -linkpkg -o $@ $<
+
+clean:
+       rm -f test test.opt test.cmi test.cmo text.cmx