From afadb879734758a7e380df8d47754c8c1e4f9bb1 Mon Sep 17 00:00:00 2001
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Tue, 30 Mar 2021 11:06:16 +0100
Subject: [PATCH] check out specific version of yosys needed for ls180 build

---
 coriolis2-chroot | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/coriolis2-chroot b/coriolis2-chroot
index c26e922..0f34998 100755
--- a/coriolis2-chroot
+++ b/coriolis2-chroot
@@ -80,6 +80,7 @@ This enables you to chroot into coriolis as an unprivileged user by running
 "
 
 # Build and install yosys from source
+# note that a specific version of yosys is needed for ls180 at the moment
 chroot /opt/chroot/coriolis /bin/bash << EOF
 apt-get update -y 
 apt-get build-dep yosys -y
@@ -89,6 +90,7 @@ runuser $SUDO_USER --preserve-environment -c 'schroot -c coriolis /bin/bash << E
 cd /home/$SUDO_USER
 git clone https://github.com/cliffordwolf/yosys.git
 cd yosys
+git checkout 049e3abf9baf795e69b9ecb9c4f19de6131f8418
 make config-clang
 make -j$(nproc)
 EOF'
-- 
2.30.2