helm-mathql helm-mathql_interpreter helm-mathql_generator
PREDICATES =
OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -thread
helm-mathql helm-mathql_interpreter helm-mathql_generator
PREDICATES =
OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -thread