From 38e591e7785c17cef5883ae070826ab482c1f015 Mon Sep 17 00:00:00 2001
From: Daniel Kroening <dkr@amazon.com>
Date: Fri, 22 Sep 2023 06:20:57 -0700
Subject: [PATCH] fix compilation instructions in README.md

The compilation instructions in README.md have ommitted the necessity to
download minisat prior to starting the build.
---
 README.md | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index a12cf7e93..7ad61b282 100644
--- 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
 =====