- renamed ocaml/ to components/

[helm.git] / helm / ocaml / cic_proof_checking / utilities / Makefile

diff --git a/helm/ocaml/cic_proof_checking/utilities/Makefile b/helm/ocaml/cic_proof_checking/utilities/Makefile
deleted file mode 100644 (file)
index 383391d..0000000
--- a/helm/ocaml/cic_proof_checking/utilities/Makefile
+++ /dev/null
@@ -1,21 +0,0 @@
-UTILITIES = create_environment parse_library list_uris
-UTILITIES_OPT = $(patsubst %,%.opt,$(UTILITIES))
-LINKOPTS = -linkpkg -thread
-LIBS = helm-cic_proof_checking
-OCAMLC = $(OCAMLFIND) ocamlc $(LINKOPTS) -package $(LIBS)
-OCAMLOPT = $(OCAMLFIND) opt $(LINKOPTS) -package $(LIBS)
-all: $(UTILITIES)
-       @echo -n
-opt: $(UTILITIES_OPT)
-       @echo -n
-%: %.ml
-       @echo "    OCAMLC $<"
-       @$(OCAMLC) -o $@ $<
-%.opt: %.ml
-       @echo "    OCAMLOPT $<"
-       @$(OCAMLOPT) -o $@ $<
-clean:
-       rm -f $(UTILITIES) $(UTILITIES_OPT) *.cm[iox] *.o
-
-include ../../../Makefile.defs
-