require specific versions of yosys and ghdl and ghdl plugin sigh

diff --git a/hdl-tools-yosys b/hdl-tools-yosys
index c63baf3d86330b46320e06a45bc9d8504f7aed61..e466d59bacc9d714d403dc2d8b19249c0105b8e6 100755 (executable)
--- 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