Initial Commit

1 files changed, 62 insertions, 0 deletions

diff --git a/VexRiscv/tools.sh b/VexRiscv/tools.sh
new file mode 100644
index 0000000..7ee6a59
--- /dev/null
+++ b/VexRiscv/tools.sh
@@ -0,0 +1,62 @@
+#!/bin/sh
+
+install_verilator(){
+  sudo apt install -y git make autoconf g++ flex libfl-dev bison  # First time prerequisites
+  git clone http://git.veripool.org/git/verilator   # Only first time
+  unset VERILATOR_ROOT  # For bash
+  cd verilator
+  git pull        # Make sure we're up-to-date
+  git checkout v4.216
+  autoconf        # Create ./configure script
+  ./configure --prefix ~/tools
+  make -j$(nproc)
+  make install
+  cd ..
+}
+
+install_ghdl(){
+  sudo apt install -y gnat-9  libgnat-9 zlib1g-dev libboost-dev
+  git clone https://github.com/ghdl/ghdl ghdl-build && cd ghdl-build
+  git reset --hard "0316f95368837dc163173e7ca52f37ecd8d3591d"
+  mkdir build
+  cd build
+  ../configure --prefix=~/tools
+  make -j$(nproc)
+  make install
+  cd ..
+}
+
+install_iverilog(){
+  sudo apt install -y gperf readline-common bison flex libfl-dev
+  curl -fsSL https://github.com/steveicarus/iverilog/archive/v10_3.tar.gz | tar -xvz
+  cd iverilog-10_3
+  autoconf
+  ./configure  --prefix ~/tools
+  make -j$(nproc)
+  make install
+  cd ..
+}
+
+install_cocotb(){
+  pip3 install --user cocotb
+  sudo apt install -y git make gcc g++ swig python3-dev
+}
+
+purge_cocotb(){
+  # Force cocotb to compile VPI to avoid race condition when tests are start in parallel
+  cd tester/src/test/python/spinal/Dummy
+  make TOPLEVEL_LANG=verilog
+  make TOPLEVEL_LANG=vhdl
+  cd ../../../../../..
+}
+
+install_packages(){
+  sudo apt install -y gnat-9  libgnat-9 zlib1g-dev libboost-dev
+}
+
+install_tools(){
+  install_verilator
+  install_ghdl
+  install_iverilog
+  install_cocotb
+}
\ No newline at end of file