helm/ocaml/cic_proof_checking/utilities/Makefile

   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)
   7 all: $(UTILITIES)
   8 opt: $(UTILITIES_OPT)
   9 %: %.ml
  10         $(OCAMLC) -o $@ $<
  11 %.opt: %.ml
  12         $(OCAMLOPT) -o $@ $<
  13 clean:
  14         rm -f $(UTILITIES) $(UTILITIES_OPT) *.cm[iox] *.o
  15