more notes about yosys and ghdl

diff --git a/ghdl-install b/ghdl-install
index adcd752d65e538552e151c1f116e500575383c25..0377f327cb4207025e4aaff27460162c68cbc56f 100755 (executable)
--- a/ghdl-install
+++ b/ghdl-install
@@ -1,4 +1,6 @@
 #!/bin/bash
+# really this is covered by hdl-tools-yosys already, it's best to
+# use that (and install yosys at the same time, you'll need it anyway)
 if [ "$EUID" -ne 0 ]
   then echo "Please run as root using 'sudo bash'"
   exit
@@ -31,8 +33,11 @@ tar -xf ../isl-0.18.tar.bz2
 mv isl-0.18 isl
 cd ..
 
+# see hdl-tools-yosys, a *very* specific version is needed to work
+# with yosys and the yosys-ghdl-plugin
 cd ghdl
-git checkout v1.0.0
+#git checkout v1.0.0
+git checkout 263c843ed49f59cb4cc3038bafcac2b9238ebad4
 mkdir build
 cd build
 ../configure --with-gcc=../../gcc-10.3.0 --prefix=/usr/local/ghdl

diff --git a/hdl-tools-yosys b/hdl-tools-yosys
index e466d59bacc9d714d403dc2d8b19249c0105b8e6..86d1a26f1598c65f0941c9d2ce6465cb815eb377 100755 (executable)
--- a/hdl-tools-yosys
+++ b/hdl-tools-yosys
@@ -10,7 +10,7 @@ fi
 apt-get update -y 
 apt-get build-dep yosys -y
 apt-get remove yosys -y
-apt-get build-dep ghdl -y
+apt-get build-dep ghdl -y # this is sort-of what ghdl-install does, hmmm
 
 mkdir -p /home/$SUDO_USER/src
 cd /home/$SUDO_USER/src
@@ -21,6 +21,7 @@ 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
+# XXX see ghdl-install this is really best done with that
 git clone https://github.com/ghdl/ghdl
 git clone https://github.com/ghdl/ghdl-yosys-plugin