Merge pull request #22 from gavanderhoorn/patch-1

readme: wget and unzip are also needed
iit-danieli-joint-lab · Jan 31, 2021 · 6420f46 · 6420f46
2 parents e406da1 + abc2f3a
commit 6420f46
Showing 1 changed file with 14 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -66,7 +66,20 @@ To prepare a new release that can be used as described in the [previous section]
 
 Install development tools: 
 ~~~
-sudo apt install git build-essential bison flex dejagnu gnat-7 libisl-dev libisl15 libisl19 expect texinfo
+sudo apt install \
+  bison \
+  build-essential \
+  dejagnu \
+  expect \
+  flex \
+  git \
+  gnat-7 \
+  libisl-dev \
+  libisl15 \
+  libisl19 \
+  texinfo \
+  unzip \
+  wget
 ~~~
 
 Clone this repository and cd in the directory: