]> matita.cs.unibo.it Git - helm.git/commitdiff
removed hand-made Makefile
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 9 Dec 2002 11:08:07 +0000 (11:08 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 9 Dec 2002 11:08:07 +0000 (11:08 +0000)
helm/DEVEL/gdome_xslt/ocaml/test/Makefile [deleted file]

diff --git a/helm/DEVEL/gdome_xslt/ocaml/test/Makefile b/helm/DEVEL/gdome_xslt/ocaml/test/Makefile
deleted file mode 100644 (file)
index b17c5f0..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
-       ( export OCAMLPATH=.; $(OCAMLC) -linkpkg -o $@ $< )
-
-test.opt: test.ml
-       ( export OCAMLPATH=.; $(OCAMLOPT) -linkpkg -o $@ $< )
-
-clean:
-       rm -f test test.opt test.cmi test.cmo text.cmx