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

Package Dafny as a .NET Core CLI tool #1779

Closed
robin-aws opened this issue Feb 2, 2022 · 0 comments · Fixed by #2051
Closed

Package Dafny as a .NET Core CLI tool #1779

robin-aws opened this issue Feb 2, 2022 · 0 comments · Fixed by #2051
Labels
kind: enhancement Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny misc: cleanup Cleanups in the implementation or in corners of the language

Comments

@robin-aws
Copy link
Member

https://docs.microsoft.com/en-us/dotnet/core/tools/global-tools

This would replace our bespoke packaging and installation procedure and Homebrew, simplifying our release process and avoiding users having to do silly things like run a allow_on_mac.sh script. Boogie is already doing the same thing: https://github.com/boogie-org/boogie#installation

The main wrinkle is not being able to package Z3 along with it, but we can likely workaround that by having the Dafny CLI offer to download Z3 for you on the first run.
@robin-aws robin-aws added kind: enhancement Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny misc: cleanup Cleanups in the implementation or in corners of the language labels Feb 2, 2022
@robin-aws robin-aws changed the title Package Dafny as a .NET Core cli tool Package Dafny as a .NET Core CLI tool Feb 2, 2022
@atomb atomb mentioned this issue Apr 22, 2022
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
kind: enhancement Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny misc: cleanup Cleanups in the implementation or in corners of the language
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Enable packaging Dafny as a .NET tool atomb/dafny
1 participant
@robin-aws