From b1eecb08804a4c2cd687c67f7190e099532a927e Mon Sep 17 00:00:00 2001
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Mon, 15 Aug 2022 16:50:56 +0100
Subject: [PATCH] use specific version of alliance-check-toolkit

---
 coriolis-install | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/coriolis-install b/coriolis-install
index a8b5a3d..c1b3b7e 100755
--- 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
-- 
2.30.2