helm-mathql helm-mathql_interpreter helm-tactics
COMMONOPTS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
OCAMLFIND = ocamlfind
helm-mathql helm-mathql_interpreter helm-tactics
COMMONOPTS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
OCAMLFIND = ocamlfind
OCAMLDEP = $(OCAMLFIND) ocamldep -package "$(REQUIRES)"
LINK_OPTIONS = -thread -package threads -linkpkg
TUTORS_TEMPLATE = hbugs_tutor.TPL.ml
OCAMLDEP = $(OCAMLFIND) ocamldep -package "$(REQUIRES)"
LINK_OPTIONS = -thread -package threads -linkpkg
TUTORS_TEMPLATE = hbugs_tutor.TPL.ml