search

JasonGross / coq-tools

Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.
MIT License
38 stars 9 forks source link

Set up infrastructure for `--no-deps` warning #184

Closed JasonGross closed 10 months ago

JasonGross commented 10 months ago

As per https://github.com/JasonGross/coq-tools/issues/176#issuecomment-1777726114, https://github.com/JasonGross/coq-tools/issues/176#issuecomment-1777764511, and https://github.com/JasonGross/coq-tools/issues/176#issuecomment-1781782890.

I need to figure out how to do tee-like subprocess.Popen, so that we can both pipe the output of make (though maybe it doesn't need to be real-time?) and check the errors.