From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 9 Dec 2002 11:08:07 +0000 (+0000)
Subject: removed hand-made Makefile
X-Git-Tag: v0_3_99~161
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3988c8a7a832bec3b1f6b1675b96337deb64e65e;p=helm.git

removed hand-made Makefile
---

diff --git a/helm/DEVEL/gdome_xslt/ocaml/test/Makefile b/helm/DEVEL/gdome_xslt/ocaml/test/Makefile
deleted file mode 100644
index b17c5f05e..000000000
--- a/helm/DEVEL/gdome_xslt/ocaml/test/Makefile
+++ /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