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 = mQueryLevels2 mQueryGenerator disambiguate
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))
20 searchEngine: $(LIBRARIES) $(CMOS) searchEngine.ml
21 $(OCAMLC) -linkpkg -o $@ $^
22 searchEngine.opt: $(LIBRARIES_OPT) $(CMXS) searchEngine.ml
23 $(OCAMLOPT) -linkpkg -o $@ $^
26 rm -f *.cm[aiox] *.o searchEngine{,.opt}