1 REQUIRES = http helm-cic_textual_parser2 helm-cic_proof_checking \
2 helm-xml gdome2-xslt helm-cic_unification helm-mathql \
3 helm-mathql_interpreter helm-mathql_generator helm-logger \
4 helm-tex_cic_textual_parser
5 OCAMLOPTIONS = -thread -package "$(REQUIRES)" -pp camlp4o -I ../gTopLevel
6 OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS)
7 OCAMLOPT = ocamlfind ocamlopt $(OCAMLOPTIONS)
9 GTOPLEVEL_MODULES = oldDisambiguate disambiguatingParser
11 CMOS = $(patsubst %,%.cmo,$(MODULES))
12 CMXS = $(patsubst %,%.cmx,$(MODULES))
13 LIBRARIES = $(patsubst %,../gTopLevel/%.cmo,$(GTOPLEVEL_MODULES))
14 LIBRARIES_OPT = $(patsubst %,../gTopLevel/%.cmx,$(GTOPLEVEL_MODULES))
21 searchEngine: $(LIBRARIES) $(CMOS) searchEngine.ml
22 $(OCAMLC) -linkpkg -o $@ $^
23 searchEngine.opt: $(LIBRARIES_OPT) $(CMXS) searchEngine.ml
24 $(OCAMLOPT) -linkpkg -o $@ $^
27 rm -f *.cm[aiox] *.o searchEngine{,.opt}