libxaw7-dev libxml2-dev libxpm-dev libxt-dev python3.7 \
python3-jinja2 python3-pip python3-setuptools python-dev \
python-qt4 python-sphinx qt4-dev-tools rapidjson-dev tcl \
-tcl-tclreadline tcl -dev texlive texlive-fonts-extra \
+tcl-dev tcl-tclreadline texlive texlive-fonts-extra \
texlive-lang-french texlive-latex-extra texlive-pictures \
xfig yosys zlib1g-dev