check out specific version of yosys needed for ls180 build

diff --git a/coriolis2-chroot b/coriolis2-chroot
index c26e9225078cdb49267c54c206f434dba99f8065..0f34998d5310e22d0fbc93e4f63b04d387d14d70 100755 (executable)
--- 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'