METADIR = ../meta
-REQUIRES = threads hbugs-common helm-cic_proof_checking helm-tactics helm-getter
+REQUIRES = threads hbugs-common helm-cic_proof_checking helm-getter \
+ helm-cic_textual_parser \
+ helm-mathql helm-mathql_interpreter helm-tactics
COMMONOPTS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
OCAMLFIND = ocamlfind
OCAMLC = $(OCAMLFIND) ocamlc $(COMMONOPTS)