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