From 1484e321c259146fd0ffe99f665f9461e4440f3f Mon Sep 17 00:00:00 2001
From: Per Lindgren <per.lindgren@ltu.se>
Date: Mon, 7 Dec 2020 15:59:04 +0100
Subject: [PATCH] add gdb dependency

---
 README.md | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index c0c8cdb..9a67caa 100644
--- a/README.md
+++ b/README.md
@@ -16,13 +16,17 @@ Under arch with `yay` installed simply:
 > yay -S z3
 ```
 
+Later, you also need to have `gdb` installed, under arch by:
 
-## Install KLEE from source
+```shell
+> yay -S gdb
+```
 
+## Install KLEE from source
 
 The instructions recommend LLVM 9, but the current master (2.2-pre) supports LLVM 11 (which is what you would have under arch as of 2020-12-07).
 
-Under arch you can simply
+Under arch you can simply:
 
 ```shell
 > git clone https://github.com/klee/klee.git
-- 
GitLab