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

Update makefile to use cabal new-install #570

Closed
brianhuffman opened this issue Feb 12, 2019 · 0 comments
Closed

Update makefile to use cabal new-install #570

brianhuffman opened this issue Feb 12, 2019 · 0 comments
Assignees
@atomb
Labels
docs LaTeX, markdown, literate haskell, or in-REPL documentation tech-debt For issues that require some internal refactoring.
Milestone
2.9.0

Comments

@brianhuffman
Copy link
Contributor

Currently the cryptol makefile runs cabal install and cabal build, which yield warnings about legacy features in modern versions of cabal. These should be updated to use the newer v2 cabal commands.

The build instructions in README.md also need to be updated accordingly.
@atomb atomb added this to the 2.7.0 milestone Apr 1, 2019
@atomb atomb modified the milestones: 2.7.0, 2.8.0 Apr 16, 2019
@atomb atomb modified the milestones: 2.8.0, 2.9.0 Aug 28, 2019
@brianhuffman brianhuffman mentioned this issue Oct 18, 2019
Closed
@robdockins robdockins added docs LaTeX, markdown, literate haskell, or in-REPL documentation tech-debt For issues that require some internal refactoring. labels Apr 17, 2020
@brianhuffman brianhuffman mentioned this issue Jun 9, 2020
Closed
@atomb atomb self-assigned this Jun 30, 2020
@atomb atomb closed this as completed in 2f4684c Jul 14, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@atomb atomb

Labels
docs LaTeX, markdown, literate haskell, or in-REPL documentation tech-debt For issues that require some internal refactoring.
Projects
None yet
Milestone
2.9.0
Development

No branches or pull requests
3 participants
@atomb @brianhuffman @robdockins