From f3154e001e2aa7379472ac05b49539a5d7ac65e7 Mon Sep 17 00:00:00 2001 From: Luke Kenneth Casson Leighton Date: Fri, 25 Mar 2022 12:05:14 +0000 Subject: [PATCH] require specific versions of yosys and ghdl and ghdl plugin sigh --- hdl-tools-yosys | 8 ++++++++ 1 file changed, 8 insertions(+) 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 -- 2.30.2