python3-setuptools python3-wheel pkg-config tcl-dev
libreadline-dev bison flex libffi-dev ccache python3-venv
binutils-powerpc64-linux-gnu binutils-powerpc64le-linux-gnu
- autoconf gperf libgmp-dev
+ autoconf gperf libgmp-dev libmpfr-dev libssl-dev
- export PATH="/usr/lib/ccache:$PATH"
- export CCACHE_BASEDIR="$PWD"
- export CCACHE_DIR="$PWD/ccache"
- python setup.py develop
- popd
+ - git clone --depth 1 git://git.libre-riscv.org/nmigen-soc.git nmigen-soc
+ - pushd nmigen-soc
+ - python setup.py develop
+ - popd
+
- git clone --depth 1 git://git.libre-riscv.org/ieee754fpu.git ieee754fpu
- pushd ieee754fpu
- python setup.py develop