From: Tobias Platen <tplaten@posteo.de>
Date: Sat, 29 Jan 2022 12:35:49 +0000 (+0100)
Subject: add ghdl-yosys-plugin, update links to yosyshq
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3ca5e52f2ea4f35503b775b9b06e1a1b95d589c8;p=dev-env-setup.git

add ghdl-yosys-plugin, update links to yosyshq
---

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