From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Fri, 25 Mar 2022 12:05:14 +0000 (+0000)
Subject: require specific versions of yosys and ghdl and ghdl plugin sigh
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f3154e001e2aa7379472ac05b49539a5d7ac65e7;p=dev-env-setup.git

require specific versions of yosys and ghdl and ghdl plugin sigh
---

diff --git a/hdl-tools-yosys b/hdl-tools-yosys
index c63baf3..e466d59 100755
--- a/hdl-tools-yosys
+++ b/hdl-tools-yosys
@@ -24,20 +24,28 @@ git clone https://github.com/Z3Prover/z3.git
 git clone https://github.com/ghdl/ghdl
 git clone https://github.com/ghdl/ghdl-yosys-plugin
 
+# yosys 0.13 has been found to be stable...
 cd yosys
+git checkout yosys-0.13
 make config-clang
 make -j$(nproc)
 make install
 
+# ... but things are in the middle of a transition so use this version of ghdl
 cd ../ghdl
+git checkout 263c843ed49f59cb4cc3038bafcac2b9238ebad4
 ./configure --with-llvm-config
 make
 make install
 
+# ...with this specific version of the yosys-ghdl-plugin
 cd ../ghdl-yosys-plugin
+git checkout c9b05e481423c55ffcbb856fd5296701f670808c
 make
 make install
 
+# symbiyosys should be fine though
+
 cd ../sby
 make install