REQUIRES = helm-xml helm-cic_proof_checking
PREDICATES = miniReduction
OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
REQUIRES = helm-xml helm-cic_proof_checking
PREDICATES = miniReduction
OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"