components/binaries/utilities/Makefile

   1 H=@
   2
   3 UTILITIES = create_environment parse_library list_uris test_library
   4 UTILITIES_OPT = $(patsubst %,%.opt,$(UTILITIES))
   5 LINKOPTS = -linkpkg -rectypes -thread
   6 LIBS = helm-cic_proof_checking
   7 OCAMLC = $(OCAMLFIND) ocamlc $(LINKOPTS) -package $(LIBS)
   8 OCAMLOPT = $(OCAMLFIND) opt $(LINKOPTS) -package $(LIBS)
   9 all: $(UTILITIES)
  10         $(H)echo -n
  11 opt: $(UTILITIES_OPT)
  12         $(H)echo -n
  13 %: %.ml
  14         $(H)echo "    OCAMLC $<"
  15         $(H)$(OCAMLC) -o $@ $<
  16 %.opt: %.ml
  17         $(H)echo "    OCAMLOPT $<"
  18         $(H)$(OCAMLOPT) -o $@ $<
  19 clean:
  20         rm -f $(UTILITIES) $(UTILITIES_OPT) *.cm[iox] *.o
  21 depend:
  22         $(H)echo "  OCAMLDEP"
  23         $(H)ocamldep extractor.ml extractor_manager.ml > .depend
  24 depend.opt:
  25         $(H)echo "  OCAMLDEP -native"
  26         $(H)ocamldep -native extractor.ml extractor_manager.ml > .depend.opt
  27
  28 ifeq ($(MAKECMDGOALS),)
  29   include .depend
  30 endif
  31
  32 ifeq ($(MAKECMDGOALS), all)
  33   include .depend
  34 endif
  35
  36 ifeq ($(MAKECMDGOALS), opt)
  37   include .depend.opt
  38 endif
  39
  40 include ../../../Makefile.defs
  41