12 # one package per line to simplify sorting, git diff, etc.
26 libboost-program-options-dev
43 - export PATH="/usr/lib/ccache:$PATH"
44 - export CCACHE_BASEDIR="$PWD"
45 - export CCACHE_DIR="$PWD/ccache"
46 - export CCACHE_COMPILERCHECK=content
47 - ccache --zero-stats || true
48 - ccache --show-stats || true
49 - python3 -m venv --system-site-packages .venv
50 - . .venv/bin/activate
51 - pip install pytest-xdist twine cython
53 - . .venv/bin/activate
55 - IEEE754FPU_PATH="$(pwd)"
56 - git clone --depth 1 --recursive -b v0.6.0 https://github.com/billzorn/sfpy.git sfpy
58 - pushd berkeley-softfloat-3
59 - git apply "$IEEE754FPU_PATH"/berkeley-softfloat.patch
62 - git apply ../softposit_sfpy_build.patch
63 - git apply "$IEEE754FPU_PATH"/SoftPosit.patch
66 - make cython -j$(nproc)
67 - make wheel -j$(nproc)
68 - pip install --force-reinstall dist/sfpy*.whl
71 - git clone --depth 1 -b yosys-0.17 https://github.com/YosysHQ/yosys.git yosys
79 - git clone https://github.com/YosysHQ/SymbiYosys.git SymbiYosys
81 - git checkout d10e472edf4ea9be3aa6347b264ba575fbea933a
85 - git clone --depth 1 -b Yices-2.6.4 https://github.com/SRI-CSL/yices2.git yices2
93 - git clone --depth 1 -b z3-4.8.17 https://github.com/Z3Prover/z3.git z3
95 - python scripts/mk_make.py
101 - git clone --depth 1 https://gitlab.com/nmigen/nmigen.git nmigen
104 - python3 setup.py develop
107 - git clone --depth 1 https://git.libre-soc.org/git/nmutil.git nmutil
110 - python3 setup.py develop
113 - python3 setup.py develop