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