From 3988c8a7a832bec3b1f6b1675b96337deb64e65e Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 9 Dec 2002 11:08:07 +0000 Subject: [PATCH] removed hand-made Makefile --- helm/DEVEL/gdome_xslt/ocaml/test/Makefile | 17 ----------------- 1 file changed, 17 deletions(-) delete mode 100644 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 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 -- 2.39.2