Honor COQEXTRAFLAGS env var - Githubissues

PrincetonUniversity / VST

Verified Software Toolchain

https://vst.cs.princeton.edu

Other

425 stars 91 forks source link

Honor COQEXTRAFLAGS env var #725

Closed proux01 closed 9 months ago

proux01 commented 9 months ago

We need this in Coq CI.

proux01 commented 9 months ago

Thanks!