BIN_DIR = /usr/local/bin
-REQUIRES = unix helm-cic_textual_parser \
+REQUIRES = unix helm-registry helm-cic_textual_parser \
helm-mathql helm-mathql_interpreter helm-mathql_generator
PREDICATES =
OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -thread