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 libgmp-dev libmpfr-dev
17 - export PATH="/usr/lib/ccache:$PATH"
18 - export CCACHE_BASEDIR="$PWD"
19 - export CCACHE_DIR="$PWD/ccache"
20 - export CCACHE_COMPILERCHECK=content
21 - ccache --zero-stats || true
22 - ccache --show-stats || true
24 - export CCACHE_DIR="$PWD/ccache"
27 - python3 -m venv .env
31 - IEEE754FPU_PATH="$(pwd)"
32 - git clone --depth 1 --recursive https://github.com/billzorn/sfpy.git sfpy
34 - pushd berkeley-softfloat-3
35 - git apply "$IEEE754FPU_PATH"/berkeley-softfloat.patch
38 - git apply ../softposit_sfpy_build.patch
39 - git apply "$IEEE754FPU_PATH"/SoftPosit.patch
41 - pip install --upgrade -r requirements.txt
43 - make cython -j$(nproc)
44 - make wheel -j$(nproc)
45 - pip install dist/sfpy*.whl
48 - git clone --depth 1 https://github.com/YosysHQ/yosys.git yosys
56 - git clone --depth 1 https://github.com/nmigen/nmigen.git nmigen
58 - python setup.py develop
61 - git clone --depth 1 git://git.libre-riscv.org/nmutil.git nmutil
63 - python setup.py develop
66 - python setup.py develop
67 - nosetests -v --processes=-1