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
   4 OCAMLOPTIONS = -package "$(REQUIRES)" -pp camlp4o -I ../gTopLevel -thread
   5 OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS)
   6 OCAMLOPT = ocamlfind ocamlopt $(OCAMLOPTIONS)
   7
   8 GTOPLEVEL_MODULES = mQueryLevels mQueryGenerator
   9 LIBRARIES =     $(patsubst %,../gTopLevel/%.cmo,$(GTOPLEVEL_MODULES))
  10 LIBRARIES_OPT = $(patsubst %,../gTopLevel/%.cmx,$(GTOPLEVEL_MODULES))
  11
  12 all: searchEngine
  13 opt: searchEngine.opt
  14
  15 searchEngine: $(LIBRARIES) searchEngine.ml
  16         $(OCAMLC) -linkpkg -o $@ $^
  17 searchEngine.opt: $(LIBRARIES_OPT) searchEngine.ml
  18         $(OCAMLOPT) -linkpkg -o $@ $^
  19
  20 clean:
  21         rm -f *.cm[aiox] *.o searchEngine{,.opt}
  22
  23 .PHONY: all opt clean