From: lkcl <lkcl@web>
Date: Mon, 10 Feb 2020 17:21:12 +0000 (+0000)
Subject: (no commit message)
X-Git-Tag: convert-csv-opcode-to-binary~3475
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6a2b3f4c63ddcd5d4b581579cb689f33ef5afc59;p=libreriscv.git

---

diff --git a/HDL_workflow/coriolis2.mdwn b/HDL_workflow/coriolis2.mdwn
index ccf16ac59..84f86c2c3 100644
--- a/HDL_workflow/coriolis2.mdwn
+++ b/HDL_workflow/coriolis2.mdwn
@@ -95,7 +95,9 @@ Then run the following commands, as root, *in* the chroot:
                   libbz2-dev libxml2-dev rapidjson-dev libbz2-dev     \
                   doxygen dvipng graphviz python-sphinx               \
                   texlive-fonts-extra texlive-lang-french            \
-                  libqwt-dev qt4-dev-tools python-qt4
+                  libqwt-dev qt4-dev-tools python-qt4               \
+                   libxt-dev libxpm-dev libmotif-dev                \
+                   yosys
 
 Then, as the ordinary (non-root) user in the schroot: