From db9c7e97b8f84ef7e9b18ae630009897c7982a08 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Sat, 28 Oct 2017 14:01:42 +0200 Subject: [PATCH] Add missing prerequisites to quickstart guide --- docs/source/quickstart.rst | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/docs/source/quickstart.rst b/docs/source/quickstart.rst index a2645a6..e722c19 100644 --- 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 ~~~~~~~~~~~~~~~~~~~~~~~~~~~ -- 2.30.2