Update install.rst

On Ubuntu 20.04, I had to install curl as well:
sudo apt install curl
I guess that would be the same on other setups.

diff --git a/docs/source/install.rst b/docs/source/install.rst
index db8ba14d557a41d8402cfb33f646ebe99bdc2988..758efdaaad40d8534dedd8332705f1edaade94d9 100644 (file)
--- a/docs/source/install.rst
+++ b/docs/source/install.rst
@@ -16,7 +16,7 @@ Installing prerequisites (this command is for Ubuntu 16.04):
                         gawk tcl-dev libffi-dev git mercurial graphviz   \
                         xdot pkg-config python python3 libftdi-dev gperf \
                         libboost-program-options-dev autoconf libgmp-dev \
-                        cmake
+                        cmake curl
 
 Yosys, Yosys-SMTBMC and ABC
 ---------------------------