Merge pull request #68 from diffblue/readme-compiling

fix compilation instructions in README.md
diffblue · Sep 22, 2023 · f0ed2ad · f0ed2ad
2 parents 19fdf3f + 38e591e
commit f0ed2ad
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -16,8 +16,9 @@ Compiling
 =========
 
 - initialize and update the CBMC submodule: `$> git submodule init; git submodule update`
-- build EBMC: `$> cd src; make` (this also build CBMC internally)
-- optionally: `$> export PATH=/full/path/hw-cbmc/src/ebmc:${PATH}` to get EBMC on the path
+- download minisat: `$> make -C lib/cbmc minisat2-download`
+- build EBMC: `$> make -C src` (this also builds the CBMC submodule)
+- optional: `$> export PATH=/full/path/hw-cbmc/src/ebmc:${PATH}` to get EBMC on the path
 
 Usage
 =====