Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

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

Open
JasonGross opened this issue Oct 19, 2023 · 2 comments
Open

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

JasonGross opened this issue Oct 19, 2023 · 2 comments
Labels
approval: has maintainer agreement kind: package inclusion

Comments

@JasonGross
Copy link
Member

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
Copy link
Member Author

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
Copy link
Member Author

Releases on GitHub now contain standalone executables

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
approval: has maintainer agreement kind: package inclusion
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@JasonGross @palmskog