helm/searchEngine/Makefile

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