Fix correct commit hash for release 0.7.0 of openXC7

[dev-env-setup.git] / hdl-tools-yosys

diff --git a/hdl-tools-yosys b/hdl-tools-yosys
index 7a13bb70ad4b52ec5e892b96c84b0204d470d9df..5b54555e527669039e32d945d15236f39b04629f 100755 (executable)
--- a/hdl-tools-yosys
+++ b/hdl-tools-yosys
@@ -1,28 +1,76 @@
 #!/bin/bash
 if [ "$EUID" -ne 0 ]
-  then echo "Please run as root"
+  then echo "Please run as root using 'sudo bash'"
   exit
 fi
 
-apt-get update -y 
+# this is a bit of a cheat, by relying on debian to pull in all the
+# build dependencies.  saves time researching how to get and list them
+# by hand.
+apt-get update -y
 apt-get build-dep yosys -y
 apt-get remove yosys -y
+apt-get build-dep ghdl -y # this is sort-of what ghdl-install does, hmmm
+apt-get install -y default-jre-headless python3-pip curl
+python3 -m pip install toml
 
-cd $CHU_HOME
-mkdir hdl_tools
+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/SymbiYosys.git sby
+git clone https://git.libre-soc.org/git/yosys.git
+git clone https://git.libre-soc.org/git/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
+# both of these need adding https://bugs.libre-soc.org/show_bug.cgi?id=883
+git clone https://github.com/bitwuzla/bitwuzla.git
+git clone -b cvc5-1.0.1 https://github.com/cvc5/cvc5.git cvc5
 
+# yosys 0.13 has been found to be stable...
 cd yosys
+git checkout smtlib2-expr-support-on-0.13
 make config-clang
 make -j$(nproc)
 make install
 
-cd ../sby
+# ... but things are in the middle of a transition so use this version of ghdl
+cd ../ghdl
+git checkout 263c843ed49f59cb4cc3038bafcac2b9238ebad4
+./configure --with-llvm-config
+make
+make install
+
+# ...with this specific version of the yosys-ghdl-plugin
+cd ../ghdl-yosys-plugin
+git checkout c9b05e481423c55ffcbb856fd5296701f670808c
+make
+make install
+
+# ... cvc5
+cd ../cvc5
+git rev-parse HEAD
+./configure.sh --poly --auto-download
+cd build
+make -j$(nproc)
+make install
+
+# ... bitwuzla
+cd ../../bitwuzla
+git checkout 19dd987a6e246990619751cca07996fac505fd0b
+./contrib/setup-cadical.sh
+./contrib/setup-btor2tools.sh
+./contrib/setup-symfpu.sh
+./configure.sh
+cd build
+make -j$(nproc)
+make install
+
+# symbiyosys should be fine though
+cd ../../sby
 make install
 
 cd ../yices2
@@ -37,6 +85,6 @@ cd build
 make -j$(nproc)
 make install
 
-cd $CHU_HOME/hdl_tools
-chown -R $MYNAME hdl_tools
-chgrp -R $MYNAME hdl_tools
+cd /home/$SUDO_USER/src
+chown -R $SUDO_USER .
+chgrp -R $SUDO_USER .