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 LIBRARIES =     ../gTopLevel/mQueryGenerator.cmo
   9 LIBRARIES_OPT = ../gTopLevel/mQueryGenerator.cmx
  10
  11 all: searchEngine
  12 opt: searchEngine.opt
  13
  14 searchEngine: $(LIBRARIES) searchEngine.ml
  15         $(OCAMLC) -linkpkg -o $@ $^
  16 searchEngine.opt: $(LIBRARIES_OPT) searchEngine.ml
  17         $(OCAMLOPT) -linkpkg -o $@ $^
  18
  19 clean:
  20         rm -f *.cm[aiox] *.o searchEngine{,.opt}
  21
  22 .PHONY: all opt clean