From 0270359962d51c28ab5c412180f819e43d1e8ce3 Mon Sep 17 00:00:00 2001 From: ythoma Date: Fri, 5 Feb 2021 09:46:04 +0100 Subject: [PATCH] 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. --- docs/source/install.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/source/install.rst b/docs/source/install.rst index db8ba14..758efda 100644 --- 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 --------------------------- -- 2.30.2