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

Dockerfile issues #6

Open
m-carrasco opened this issue Jan 28, 2025 · 2 comments
Open

Dockerfile issues #6

m-carrasco opened this issue Jan 28, 2025 · 2 comments

Comments

@m-carrasco
Copy link

Hi,

I followed the instructions to build the Docker image. The line that patches Dafny is failing because the Dockerfile clones the latest version of Dafny, and the patches cannot be applied to it.

Would it be possible to know the expected Dafny version for those patches? I temporarily disabled that step, but the generated programs could not be compiled successfully.

Best,
Manuel
@sorawee
Copy link
Collaborator

sorawee commented Jan 28, 2025

It's Dafny 3 I believe.

@m-carrasco
Copy link
Author

@sorawee, thanks for your quick reply!

I tested the releases starting with 3.0.0, and the first that successfully built the Dockerfile was v3.6.0 (373d98a6b63c4e9fc8ff0c88a0f8b8c7d184a10b).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@m-carrasco @sorawee