8 GIT_SUBMODULE_STRATEGY: recursive
16 build-essential git python3-dev python3-pip
17 python3-setuptools python3-wheel pkg-config tcl-dev
18 libreadline-dev bison flex libffi-dev ccache python3-venv
19 binutils-powerpc64-linux-gnu binutils-powerpc64le-linux-gnu
20 autoconf gperf libgmp-dev
21 - export PATH="/usr/lib/ccache:$PATH"
22 - export CCACHE_BASEDIR="$PWD"
23 - export CCACHE_DIR="$PWD/ccache"
24 - export CCACHE_COMPILERCHECK=content
25 - ccache --zero-stats || true
26 - ccache --show-stats || true
28 - export CCACHE_DIR="$PWD/ccache"
31 - python3 -m venv .env
35 - git clone --depth 1 https://github.com/SRI-CSL/yices2.git yices2
43 - git clone --depth 1 https://github.com/YosysHQ/yosys.git yosys
51 - git clone --depth 1 https://github.com/nmigen/nmigen.git nmigen
53 - python setup.py develop
56 - git clone --depth 1 git://git.libre-riscv.org/nmutil.git nmutil
58 - python setup.py develop
61 - git clone --depth 1 git://git.libre-riscv.org/ieee754fpu.git ieee754fpu
63 - python setup.py develop
66 - IEEE754FPU_PATH="$(pwd)"/ieee754fpu
67 - git clone --depth 1 --recursive https://github.com/billzorn/sfpy.git sfpy
69 - pushd berkeley-softfloat-3
70 - git apply "$IEEE754FPU_PATH"/berkeley-softfloat.patch
73 - git apply ../softposit_sfpy_build.patch
74 - git apply "$IEEE754FPU_PATH"/SoftPosit.patch
76 - pip install --upgrade -r requirements.txt
78 - make cython -j$(nproc)
79 - make wheel -j$(nproc)
80 - pip install dist/sfpy*.whl
83 - python setup.py develop
84 - python src/soc/decoder/pseudo/pywriter.py
85 - nosetests -v --processes=-1