diff options
Diffstat (limited to '.github/ci')
| -rwxr-xr-x | .github/ci/build_interchange.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/.github/ci/build_interchange.sh b/.github/ci/build_interchange.sh index 1d2ee9dc..dedc01e2 100755 --- a/.github/ci/build_interchange.sh +++ b/.github/ci/build_interchange.sh @@ -40,6 +40,14 @@ function get_dependencies { pushd ${RAPIDWRIGHT_PATH} make update_jars popd + + # Install prjoxide + curl --proto '=https' -sSf https://sh.rustup.rs | sh -s -- -y + git clone --recursive https://github.com/gatecat/prjoxide.git + pushd prjoxide/libprjoxide + PATH=$PATH:$HOME/.cargo/bin cargo install --path prjoxide --all-features + popd + } function build_nextpnr { |