X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Focaml%2Fcic_proof_checking%2Futilities%2FMakefile;fp=helm%2Focaml%2Fcic_proof_checking%2Futilities%2FMakefile;h=2cd98f894b65c3b9952b92c04332d640e0a70fcd;hp=0000000000000000000000000000000000000000;hb=792b5d29ebae8f917043d9dd226692919b5d6ca1;hpb=a14a8c7637fd0b95e9d4deccb20c6abc98e8f953

diff --git a/helm/ocaml/cic_proof_checking/utilities/Makefile b/helm/ocaml/cic_proof_checking/utilities/Makefile
new file mode 100644
index 000000000..2cd98f894
--- /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
+