use specific version of alliance-check-toolkit

diff --git a/coriolis-install b/coriolis-install
index a8b5a3da700897f2b0e4d3986a7aaf21a0397381..c1b3b7ed5c8363b8ef62fad35037577d6f014790 100755 (executable)
--- a/coriolis-install
+++ b/coriolis-install
@@ -98,6 +98,9 @@ make -j1 install
 # 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