]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/gdome_xslt/ocaml/test/Makefile
This commit was manufactured by cvs2svn to create branch
[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
deleted file mode 100644 (file)
index 777614a..0000000
+++ /dev/null
@@ -1,17 +0,0 @@
-REQUIRES = gdome2-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