1 UTILITIES = create_environment parse_library list_uris
2 UTILITIES_OPT = $(patsubst %,%.opt,$(UTILITIES))
3 LINKOPTS = -linkpkg -thread
4 LIBS = helm-cic_proof_checking
5 OCAMLC = ocamlfind ocamlc $(LINKOPTS) -package $(LIBS)
6 OCAMLOPT = ocamlfind opt $(LINKOPTS) -package $(LIBS)
18 rm -f $(UTILITIES) $(UTILITIES_OPT) *.cm[iox] *.o