From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Mon, 15 Aug 2022 15:50:56 +0000 (+0100)
Subject: use specific version of alliance-check-toolkit
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b1eecb08804a4c2cd687c67f7190e099532a927e;p=dev-env-setup.git

use specific version of alliance-check-toolkit
---

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