# Install apt dependencies
echo Installing necessary apt dependencies in the chroot
sudo apt-get update -y
-sudo apt-get upgrade -y
sudo apt-get install -y automake binutils-dev bison build-essential \
sysvinit-utils sysvinit-core \
ccache clang cmake doxygen dvipng flex gcc git graphviz \
python3-setuptools python-dev python-qt4 python-sphinx \
qt4-dev-tools rapidjson-dev tcl tcl-dev tcl-tclreadline \
texlive texlive-fonts-extra texlive-lang-french \
- texlive-latex-extra texlive-pictures xfig zlib1g-dev
+ texlive-latex-extra texlive-pictures xfig zlib1g-dev wget
# Add convenience variable to chroot user .bash_profile
vars_for_bash_profile="export PATH=/usr/lib/ccache:\044PATH
sudo apt-get build-dep yosys -y
cd /home/$USER
-git clone https://github.com/cliffordwolf/yosys.git
+git clone https://github.com/YosysHQ/yosys.git
cd yosys
git checkout 049e3abf9baf795e69b9ecb9c4f19de6131f8418
make config-clang
# Install and configure alliance-check-toolkit
cd /home/$USER
git clone https://gitlab.lip6.fr/vlsi-eda/alliance-check-toolkit.git
+cd alliance-check-toolkit
+git checkout 3f40be93f1552 # specific version needed
+cd ..
touch alliance-check-toolkit/etc/mk/users.d/user-$USER.mk
# Environment variables for alliance-check-toolkit in a single script variable