BIN_DIR = /usr/local/bin
REQUIRES = lablgtkmathview helm-cic_textual_parser helm-tex_cic_textual_parser \
helm-cic_proof_checking helm-xml gdome2-xslt helm-cic_unification \
- helm-tactics helm-mathql helm-mathql_interpreter \
- helm-mquery_generator threads hbugs-client mathml-editor
+ helm-mathql helm-mathql_interpreter helm-mathql_generator \
+ helm-tactics threads hbugs-client mathml-editor
PREDICATES = "gnome,init,glade"
OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -pp camlp4o
OCAMLFIND = ocamlfind