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.

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

Documentation of cabal and ghc version dependencies #1462

Closed
jpaykin opened this issue Sep 21, 2021 · 0 comments
Closed

Documentation of cabal and ghc version dependencies #1462

jpaykin opened this issue Sep 21, 2021 · 0 comments
Assignees
Labels
documentation Issues involving documentation
Milestone

Comments

@jpaykin
Copy link
Contributor

jpaykin commented Sep 21, 2021

I recently tried to install saw using the build script saw-script/build.sh following the instructions in saw-script/README.md. The build failed, which I later figured out was due to me having old versions of cabal and/or ghc (previously using cabal 2.4.1 and ghc 8.6.5). The build succeeded once I upgraded to cabal 3.4 and ghc 8.10.7 using ghcup. However, the Makefile does not contain information about what versions of cabal and/or ghc are required, and I don't know what range of versions are actually required.

I suggest adding known-to-work version numbers or ranges to the readme for future users of the tool.

@jpaykin jpaykin added the documentation Issues involving documentation label Sep 21, 2021
@atomb atomb added this to the 0.9 milestone Sep 22, 2021
@atomb atomb self-assigned this Sep 22, 2021
atomb pushed a commit that referenced this issue Oct 6, 2021
@atomb atomb closed this as completed in 43b72e1 Oct 7, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Issues involving documentation
Projects
None yet
Development

No branches or pull requests

2 participants