search

coq / platform

Multi platform setup for Coq, Coq libraries and tools
Creative Commons Zero v1.0 Universal
190 stars 50 forks source link

Add coq-tools / coq-bug-minimizer to the platform? #378

Open JasonGross opened 1 year ago

JasonGross commented 1 year ago

Does it make sense to add some version of the bug minimizer to the platform? It's a collection of Python scripts (currently in the process of setting up a pip package) but I'm happy to set up some sort of standalone binary distribution if that'd be better for the platform. (I don't think it makes sense to distribute on opam, though I'd be down to create an opam package that just builds the binary and installs it or something, depending on conf-python-3.7)

JasonGross commented 1 year ago

Now on PyPi (the documentation needs some work though). And the CI builds standalone executables for Mac, Linux, and Windows across a variety of Python versions, which I can get the CI to add to releases or something if desired.

Let me know what needs to be done.

JasonGross commented 11 months ago

Releases on GitHub now contain standalone executables