From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Fri, 25 Mar 2022 16:42:09 +0000 (+0000)
Subject: more notes about yosys and ghdl
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2db24e18218ec1ad82f6840de5ca8a84811359ba;p=dev-env-setup.git

more notes about yosys and ghdl
---

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