add ghdl-yosys-plugin, update links to yosyshq

diff --git a/coriolis-install b/coriolis-install
index ddb56bc96992f25bc4ea23c1d7eb52417e6a7d12..acf757cd96eeaf61eb34b3ab1c67b805ea3cdaff 100755 (executable)
--- 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 086bda8728a1c2f3b71baf2208c584993ed2febc..f548267a8f128868a6bb1f4594439b3c705c3a4a 100755 (executable)
--- 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 71fc6ffe087524ef6fc241eaedae8932da4ee446..c2370f528e4c04d87c0f0ee8746a9f9ff47884a9 100755 (executable)
--- 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