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)
8 GTOPLEVEL_MODULES = mQueryLevels mQueryGenerator
9 LIBRARIES = $(patsubst %,../gTopLevel/%.cmo,$(GTOPLEVEL_MODULES))
10 LIBRARIES_OPT = $(patsubst %,../gTopLevel/%.cmx,$(GTOPLEVEL_MODULES))
15 searchEngine: $(LIBRARIES) searchEngine.ml
16 $(OCAMLC) -linkpkg -o $@ $^
17 searchEngine.opt: $(LIBRARIES_OPT) searchEngine.ml
18 $(OCAMLOPT) -linkpkg -o $@ $^
21 rm -f *.cm[aiox] *.o searchEngine{,.opt}