- renamed ocaml/ to components/

[helm.git] / helm / software / components / cic_proof_checking / utilities / Makefile

diff --git a/helm/software/components/cic_proof_checking/utilities/Makefile b/helm/software/components/cic_proof_checking/utilities/Makefile
new file mode 100644 (file)
index 0000000..383391d
--- /dev/null
+++ b/helm/software/components/cic_proof_checking/utilities/Makefile
@@ -0,0 +1,21 @@
+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
+