BIN_DIR = /usr/local/bin
-REQUIRES = helm-cic_textual_parser helm-cic_proof_checking helm-mathql helm-mathql_interpreter
+REQUIRES = helm-urimanager helm-cic_textual_parser helm-cic_proof_checking helm-mathql helm-mathql_interpreter
PREDICATES =
OCAMLOPTIONS = -I .. -package "$(REQUIRES)" -predicates "$(PREDICATES)"
OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS)
DEPOBJS = topLevel.ml
-TOPLEVELOBJS = ../mQueryGenerator.cmo topLevel.cmo
+TOPLEVELOBJS = ../mQueryLevels.cmo ../mQueryGenerator.cmo topLevel.cmo
depend:
$(OCAMLDEP) $(DEPOBJS) > .depend