test branch

[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
new file mode 100644 (file)
index 0000000..2cd98f8
--- /dev/null
+++ b/helm/ocaml/cic_proof_checking/utilities/Makefile
@@ -0,0 +1,15 @@
+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)
+opt: $(UTILITIES_OPT)
+%: %.ml
+       $(OCAMLC) -o $@ $<
+%.opt: %.ml
+       $(OCAMLOPT) -o $@ $<
+clean:
+       rm -f $(UTILITIES) $(UTILITIES_OPT) *.cm[iox] *.o
+