search

adampetcher / fcf

Foundational Cryptography Framework for machine-checked proofs of cryptography.
Other
48 stars 23 forks source link

Respect COQBIN and make options #15

Closed JasonGross closed 7 years ago

JasonGross commented 7 years ago

In particular, respecting COQBIN means that it won't create an invalid Makefile via the wrong coq_makefile. And using $(MAKE) will make parallel builds work.