(no commit message)

diff --git a/HDL_workflow/coriolis2.mdwn b/HDL_workflow/coriolis2.mdwn
index ccf16ac5961a63f2eac383c5ded47ca28fa7317a..84f86c2c3270b3da312358e86272c003d13f86eb 100644 (file)
--- 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: