From 3ca5e52f2ea4f35503b775b9b06e1a1b95d589c8 Mon Sep 17 00:00:00 2001 From: Tobias Platen Date: Sat, 29 Jan 2022 13:35:49 +0100 Subject: [PATCH] add ghdl-yosys-plugin, update links to yosyshq --- coriolis-install | 2 +- hdl-tools-yosys | 14 +++++++++++++- symbiflow-install | 2 +- 3 files changed, 15 insertions(+), 3 deletions(-) diff --git a/coriolis-install b/coriolis-install index ddb56bc..acf757c 100755 --- a/coriolis-install +++ b/coriolis-install @@ -48,7 +48,7 @@ sudo apt-get update -y sudo apt-get build-dep yosys -y cd /home/$USER -git clone https://github.com/cliffordwolf/yosys.git +git clone https://github.com/YosysHQ/yosys.git cd yosys git checkout 049e3abf9baf795e69b9ecb9c4f19de6131f8418 make config-clang diff --git a/hdl-tools-yosys b/hdl-tools-yosys index 086bda8..f548267 100755 --- a/hdl-tools-yosys +++ b/hdl-tools-yosys @@ -10,22 +10,34 @@ fi apt-get update -y apt-get build-dep yosys -y apt-get remove yosys -y +apt-get build-dep ghdl -y mkdir -p /home/$SUDO_USER/src cd /home/$SUDO_USER/src mkdir -p hdl_tools cd hdl_tools -git clone https://github.com/cliffordwolf/yosys.git +git clone https://github.com/YosysHQ/yosys.git git clone https://github.com/YosysHQ/SymbiYosys.git sby git clone https://github.com/SRI-CSL/yices2.git git clone https://github.com/Z3Prover/z3.git +git clone https://github.com/ghdl/ghdl +git clone https://github.com/ghdl/ghdl-yosys-plugin cd yosys make config-clang make -j$(nproc) make install +cd ../ghdl +./configure +make +make install + +cd ../ghdl-yosys-plugin +make +make install + cd ../sby make install diff --git a/symbiflow-install b/symbiflow-install index 71fc6ff..c2370f5 100755 --- a/symbiflow-install +++ b/symbiflow-install @@ -32,7 +32,7 @@ git clone https://github.com/YosysHQ/yosys.git git clone https://github.com/YosysHQ/abc.git git clone https://github.com/oneapi-src/oneTBB.git git clone https://github.com/verilog-to-routing/vtr-verilog-to-routing.git -git clone https://github.com/cliffordwolf/icestorm.git +git clone https://github.com/YosysHQ/icestorm.git git clone https://github.com/SymbiFlow/prjxray.git git clone https://github.com/SymbiFlow/prjxray-db.git git clone https://github.com/SymbiFlow/yosys-symbiflow-plugins.git -- 2.30.2