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

Release 0.8 is missing the cryptol binary #1412

Closed
alext-w opened this issue Aug 9, 2021 · 1 comment
Closed

Release 0.8 is missing the cryptol binary #1412

alext-w opened this issue Aug 9, 2021 · 1 comment
Assignees
@atomb
Labels
tooling: release engineering Issues involving releases, release processes, or other release engineering concerns
Milestone
0.9

Comments

@alext-w
Copy link

alext-w commented Aug 9, 2021 •
edited
Loading

Per the Getting Started docs, cryptol binary should be included with a SAW release. The tar.gz files for both Linux and MacOS for release 0.8 are missing those. I've checked 0.7 and the binary is there (+also jss, if that's important).

Please correct or help me understand which Cryptol version should I download manually.
@alext-w
Copy link
Author

alext-w commented Aug 10, 2021 •
edited
Loading

Just copying the cryptol binary over to the bin directory alongside the saw, from Cryptol's 2.11.0 release seems to work ok, so can be used as a workaround.

@robdockins robdockins added this to the 0.9 milestone Sep 10, 2021
@atomb atomb self-assigned this Sep 15, 2021
atomb pushed a commit that referenced this issue Oct 6, 2021
Include Cryptol binary in release tarballs
3168af7 
Closes #1412
@atomb atomb closed this as completed in 76bd172 Oct 7, 2021
@sauclovian-g sauclovian-g added tooling: release engineering Issues involving releases, release processes, or other release engineering concerns and removed devops labels Oct 24, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@atomb atomb

Labels
tooling: release engineering Issues involving releases, release processes, or other release engineering concerns
Projects
None yet
Milestone
0.9
Development

No branches or pull requests
4 participants
@atomb @alext-w @robdockins @sauclovian-g