Add missing prerequisites to quickstart guide

diff --git a/docs/source/quickstart.rst b/docs/source/quickstart.rst
index a2645a630c9adf64e4ee83c5ffb95c4f2121672a..e722c1979ef13db009e1df685c372399a3cc88ee 100644 (file)
--- a/docs/source/quickstart.rst
+++ b/docs/source/quickstart.rst
@@ -21,7 +21,9 @@ Installing prerequisites (this command is for Ubuntu 16.04):
 
    sudo apt-get install build-essential clang bison flex libreadline-dev \
                         gawk tcl-dev libffi-dev git mercurial graphviz   \
-                        xdot pkg-config python python3 libftdi-dev gperf
+                        xdot pkg-config python python3 libftdi-dev gperf \
+                        libboost-program-options-dev autoconf libgmp-dev \
+                        cmake
 
 Yosys, Yosys-SMTBMC and ABC
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~