--- /dev/null
+image: debian:10
+
+cache:
+ paths:
+ - ccache
+
+build:
+ stage: build
+ before_script:
+ - apt-get update
+ - >-
+ apt-get -y install
+ build-essential git python3-dev python3-pip
+ python3-setuptools python3-wheel pkg-config tcl-dev
+ libreadline-dev bison flex libffi-dev ccache
+ - export PATH="/usr/lib/ccache:$PATH"
+ - export CCACHE_BASEDIR="$PWD"
+ - export CCACHE_DIR="$PWD/ccache"
+ - export CCACHE_COMPILERCHECK=content
+ - ccache --zero-stats || true
+ - ccache --show-stats || true
+ after_script:
+ - export CCACHE_DIR="$PWD/ccache"
+ - ccache --show-stats
+ script:
+ - IEEE754FPU_PATH="$(pwd)"
+ - git clone --depth 1 --recursive https://github.com/billzorn/sfpy.git sfpy
+ - pushd sfpy
+ - pushd berkeley-softfloat-3
+ - git apply "$IEEE754FPU_PATH"/berkeley-softfloat.patch
+ - popd
+ - pushd SoftPosit
+ - git apply "$IEEE754FPU_PATH"/SoftPosit.patch
+ - popd
+ - pip3 install --upgrade -r requirements.txt
+ - make lib -j$(nproc)
+ - make cython -j$(nproc)
+ - make wheel -j$(nproc)
+ - pip3 install dist/sfpy*.whl
+ - popd
+
+ - git clone --depth 1 https://github.com/YosysHQ/yosys.git yosys
+ - pushd yosys
+ - make config-gcc
+ - make -j$(nproc)
+ - make install
+ - popd
+ - yosys -V
+
+ - git clone --depth 1 https://github.com/nmigen/nmigen.git nmigen
+ - pushd nmigen
+ - python3 setup.py develop
+ - popd
+
+ - git clone --depth 1 git://git.libre-riscv.org/nmutil.git nmutil
+ - pushd nmutil
+ - python3 setup.py develop
+ - popd
+
+ - python3 setup.py develop
+
+ - python3 setup.py test