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

GTOPLEVEL_MODULES = disambiguate
MODULES =
CMOS = $(patsubst %,%.cmo,$(MODULES))
CMXS = $(patsubst %,%.cmx,$(MODULES))
LIBRARIES =	$(patsubst %,../gTopLevel/%.cmo,$(GTOPLEVEL_MODULES))
LIBRARIES_OPT =	$(patsubst %,../gTopLevel/%.cmx,$(GTOPLEVEL_MODULES))

all: byte
world: byte opt
byte: searchEngine
opt: searchEngine.opt

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

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

.PHONY: all opt clean