helm/searchEngine/Makefile

   1 REQUIRES = http helm-cic_textual_parser2 helm-cic_proof_checking \
   2            helm-xml gdome2-xslt helm-cic_unification helm-mathql \
   3            helm-mathql_interpreter helm-mathql_generator helm-logger \
   4            helm-tex_cic_textual_parser
   5 OCAMLOPTIONS = -thread -package "$(REQUIRES)" -pp camlp4o -I ../gTopLevel
   6 OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS)
   7 OCAMLOPT = ocamlfind ocamlopt $(OCAMLOPTIONS)
   8
   9 GTOPLEVEL_MODULES = oldDisambiguate disambiguatingParser
  10 MODULES =
  11 CMOS = $(patsubst %,%.cmo,$(MODULES))
  12 CMXS = $(patsubst %,%.cmx,$(MODULES))
  13 LIBRARIES =     $(patsubst %,../gTopLevel/%.cmo,$(GTOPLEVEL_MODULES))
  14 LIBRARIES_OPT = $(patsubst %,../gTopLevel/%.cmx,$(GTOPLEVEL_MODULES))
  15
  16 all: byte
  17 world: byte opt
  18 byte: searchEngine
  19 opt: searchEngine.opt
  20
  21 searchEngine: $(LIBRARIES) $(CMOS) searchEngine.ml
  22         $(OCAMLC) -linkpkg -o $@ $^
  23 searchEngine.opt: $(LIBRARIES_OPT) $(CMXS) searchEngine.ml
  24         $(OCAMLOPT) -linkpkg -o $@ $^
  25
  26 clean:
  27         rm -f *.cm[aiox] *.o searchEngine{,.opt}
  28
  29 .PHONY: all opt clean