Merge pull request #30 from CTSRD-CHERI/marnovandermaas-patch-3

Add cabal minimum version to README
CTSRD-CHERI · Apr 15, 2024 · 13e5c54 · 13e5c54
2 parents 3f79456 + 08cc96a
commit 13e5c54
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -69,6 +69,7 @@ The root makefile can currently build the QuickCheck Verification Engine, Spike,
 
 ### Dependencies
 The dependencies for the QuickCheck Verification Engine are `cabal` and `ghc`, both of which you can install using [GHCup](https://www.haskell.org/ghcup/).
+For `cabal` you must install version 3.4 or later to use the `list-bin` command.
 
 The dependencies for Spike are:
 - `sudo apt-get install device-tree-compiler`