helm/searchEngine/Makefile

   1 REQUIRES = http helm-cic_textual_parser2 helm-logger helm-tactics
   2 OCAMLOPTIONS = -thread -package "$(REQUIRES)" -pp camlp4o
   3 OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS)
   4 OCAMLOPT = ocamlfind ocamlopt $(OCAMLOPTIONS)
   5 OCAMLDEP = ocamlfind ocamldep -package "$(REQUIRES)" -pp camlp4o
   6
   7 MODULES = mooglePp
   8 SRCS = $(patsubst %,%.ml,$(MODULES)) $(patsubst %,%.mli,$(MODULES)) \
   9        searchEngine.ml
  10 CMOS = $(patsubst %,%.cmo,$(MODULES))
  11 CMXS = $(patsubst %,%.cmx,$(MODULES))
  12
  13 all: byte html
  14 world: byte opt
  15 byte: searchEngine
  16 opt: searchEngine.opt html
  17
  18 .PHONY: html
  19 html:
  20         make -C html/
  21
  22 %.cmi: %.mli
  23         $(OCAMLC) -c $<
  24 %.cmo %.cmi: %.ml
  25         $(OCAMLC) -c $<
  26 %.cmx: %.ml
  27         $(OCAMLOPT) -c $<
  28
  29 searchEngine: $(CMOS) searchEngine.ml
  30         $(OCAMLC) -linkpkg -o $@ $^
  31 searchEngine.opt: $(CMXS) searchEngine.ml
  32         $(OCAMLOPT) -linkpkg -o $@ $^
  33
  34 clean:
  35         make -C html/ clean
  36         rm -f *.cm[aiox] *.o searchEngine{,.opt}
  37
  38 .PHONY: depend
  39 depend:
  40         $(OCAMLDEP) $(SRCS) > .depend
  41
  42 .PHONY: all opt clean
  43
  44 include .depend
  45