13 build-essential git python3-dev python3-pip
14 python3-setuptools python3-wheel pkg-config tcl-dev
15 libreadline-dev bison flex libffi-dev ccache python3-venv
16 binutils-powerpc64-linux-gnu binutils-powerpc64le-linux-gnu
17 autoconf gperf libgmp-dev
18 - export PATH="/usr/lib/ccache:$PATH"
19 - export CCACHE_BASEDIR="$PWD"
20 - export CCACHE_DIR="$PWD/ccache"
21 - export CCACHE_COMPILERCHECK=content
22 - ccache --zero-stats || true
23 - ccache --show-stats || true
25 - export CCACHE_DIR="$PWD/ccache"
28 - python3 -m venv .env
32 - git clone --depth 1 https://github.com/SRI-CSL/yices2.git yices2
40 - git clone --depth 1 https://github.com/YosysHQ/yosys.git yosys
48 - git clone --depth 1 https://github.com/nmigen/nmigen.git nmigen
50 - python setup.py develop
53 - git clone --depth 1 git://git.libre-riscv.org/nmutil.git nmutil
55 - python setup.py develop
58 - git clone --depth 1 git://git.libre-riscv.org/ieee754fpu.git ieee754fpu
60 - python setup.py develop
63 - IEEE754FPU_PATH="$(pwd)"/ieee754fpu
64 - git clone --depth 1 --recursive https://github.com/billzorn/sfpy.git sfpy
66 - pushd berkeley-softfloat-3
67 - git apply "$IEEE754FPU_PATH"/berkeley-softfloat.patch
70 - git apply ../softposit_sfpy_build.patch
71 - git apply "$IEEE754FPU_PATH"/SoftPosit.patch
73 - pip install --upgrade -r requirements.txt
75 - make cython -j$(nproc)
76 - make wheel -j$(nproc)
77 - pip install dist/sfpy*.whl
80 - python setup.py develop
81 - python src/soc/decoder/pseudo/pywriter.py
82 - nosetests -v --processes=-1