REQUIRES = http helm-cic_textual_parser helm-cic_proof_checking \
           helm-xml gdome2-xslt helm-cic_unification helm-mathql \
           helm-mathql_interpreter
OCAMLOPTIONS = -package "$(REQUIRES)" -pp camlp4o -I ../gTopLevel -thread
OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS)
OCAMLOPT = ocamlfind ocamlopt $(OCAMLOPTIONS)

LIBRARIES =	../gTopLevel/mQueryGenerator.cmo
LIBRARIES_OPT =	../gTopLevel/mQueryGenerator.cmx

all: searchEngine
opt: searchEngine.opt

searchEngine: $(LIBRARIES) searchEngine.ml
	$(OCAMLC) -linkpkg -o $@ $^
searchEngine.opt: $(LIBRARIES_OPT) searchEngine.ml
	$(OCAMLOPT) -linkpkg -o $@ $^

clean:
	rm -f *.cm[aiox] *.o searchEngine{,.opt}

.PHONY: all opt clean