only use COQPATH if EXTERNAL_DEPENDENCIES=1

mit-plv / kami

A Platform for High-Level Parametric Hardware Specification and its Modular Verification

https://plv.csail.mit.edu/kami/

MIT License

142 stars 24 forks source link

Closed samuelgruetter closed 5 years ago

samuelgruetter commented 5 years ago

While discussing https://github.com/mit-plv/bedrock2/pull/101, we found a better way of supporting COQPATH. This PR applies this to kami. /cc @JasonGross @joonwonc

joonwonc commented 5 years ago

Merged!