Adding z3 Dependency language to Readme & Doc Readme (#60)

* z3 * adding z3 dependency * adding installation instructions * fixing formatting Co-authored-by: Ali Sheikh <ali.sheikh@flexport.com>
quilt · Jun 18, 2021 · 7b2a166 · 7b2a166
1 parent b1f283e
commit 7b2a166
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -46,5 +46,11 @@ $ disease out.hex
    4:   ADD
    5:   POP
 ```
-
-
+### Dependencies
+`ecfg` requires z3 to build
+Ubuntu Installation Instructions (example):
+```console
+sudo apt-get update -y
+sudo apt-get install -y z3
+```
+Check the system logs to confirm that there are no related errors.
diff --git a/doc/src/README.md b/doc/src/README.md
@@ -36,6 +36,14 @@ Alongside this book, you can also read the API docs generated by Rustdoc if you
  - [etk-asm](https://docs.rs/etk-asm)
  - [etk-analyze](https://docs.rs/etk-analyze)
 
+### Dependencies
+`ecfg` requires z3 to build
+Ubuntu Installation Instructions (example):
+```console
+sudo apt-get update -y
+sudo apt-get install -y z3
+```
+Check the system logs to confirm that there are no related errors.
 ## License
 
 ETK, all the source code, is released under the [Apache License Version 2.0][apache] and under the [MIT License][mit].