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 smtlib2-expr-support-on-0.13 https://git.libre-soc.org/git/yosys.git yosys
80 - git clone https://git.libre-soc.org/git/SymbiYosys.git sby
82 - git checkout db740839b737ee55b8b39f1b29780872d32d248a
86 - git clone --depth 1 -b Yices-2.6.4 https://github.com/SRI-CSL/yices2.git yices2
94 - git clone --depth 1 -b z3-4.8.17 https://github.com/Z3Prover/z3.git z3
96 - python scripts/mk_make.py
102 - git clone https://github.com/bitwuzla/bitwuzla.git bitwuzla
104 - git checkout 19dd987a6e246990619751cca07996fac505fd0b
105 - ./contrib/setup-btor2tools.sh
106 - ./contrib/setup-symfpu.sh
107 - ./contrib/setup-cadical.sh
114 - git clone --depth 1 -b smtlib2-expr-support https://gitlab.com/nmigen/nmigen.git nmigen
117 - python3 setup.py develop
120 - git clone --depth 1 https://git.libre-soc.org/git/nmutil.git nmutil
123 - python3 setup.py develop
126 - python3 setup.py develop