# 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