aboutsummaryrefslogtreecommitdiff
path: root/VexRiscv/tools.sh
blob: 7ee6a59b4b90f373337984f9956a9fbaa37b9c6f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
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
}