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         @echo -n
   9 opt: $(UTILITIES_OPT)
  10         @echo -n
  11 %: %.ml
  12         @echo "    OCAMLC $<"
  13         @$(OCAMLC) -o $@ $<
  14 %.opt: %.ml
  15         @echo "    OCAMLOPT $<"
  16         @$(OCAMLOPT) -o $@ $<
  17 clean:
  18         rm -f $(UTILITIES) $(UTILITIES_OPT) *.cm[iox] *.o
  19
  20 include ../../../Makefile.defs
  21