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
16 - export PATH="/usr/lib/ccache:$PATH"
17 - export CCACHE_BASEDIR="$PWD"
18 - export CCACHE_DIR="$PWD/ccache"
19 - export CCACHE_COMPILERCHECK=content
20 - ccache --zero-stats || true
21 - ccache --show-stats || true
23 - export CCACHE_DIR="$PWD/ccache"
26 - IEEE754FPU_PATH="$(pwd)"
27 - git clone --depth 1 --recursive https://github.com/billzorn/sfpy.git sfpy
29 - pushd berkeley-softfloat-3
30 - git apply "$IEEE754FPU_PATH"/berkeley-softfloat.patch
33 - git apply "$IEEE754FPU_PATH"/SoftPosit.patch
35 - pip3 install --upgrade -r requirements.txt
37 - make cython -j$(nproc)
38 - make wheel -j$(nproc)
39 - pip3 install dist/sfpy*.whl
42 - git clone --depth 1 https://github.com/YosysHQ/yosys.git yosys
50 - git clone --depth 1 https://github.com/nmigen/nmigen.git nmigen
52 - python3 setup.py develop
55 - git clone --depth 1 git://git.libre-riscv.org/nmutil.git nmutil
57 - python3 setup.py develop
60 - python3 setup.py develop
62 - python3 setup.py test