From 2db24e18218ec1ad82f6840de5ca8a84811359ba Mon Sep 17 00:00:00 2001
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Fri, 25 Mar 2022 16:42:09 +0000
Subject: [PATCH] more notes about yosys and ghdl

---
 ghdl-install    | 7 ++++++-
 hdl-tools-yosys | 3 ++-
 2 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/ghdl-install b/ghdl-install
index adcd752..0377f32 100755
--- 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 e466d59..86d1a26 100755
--- 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
 
-- 
2.30.2