diff options
Diffstat (limited to '.github/ci')
| -rwxr-xr-x | .github/ci/build_interchange.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.github/ci/build_interchange.sh b/.github/ci/build_interchange.sh index ece17309..45a7fe6c 100755 --- a/.github/ci/build_interchange.sh +++ b/.github/ci/build_interchange.sh @@ -40,6 +40,8 @@ function get_dependencies { curl --proto '=https' -sSf https://sh.rustup.rs | sh -s -- -y git clone --recursive https://github.com/gatecat/prjoxide.git pushd prjoxide/libprjoxide + # TODO: use a tag instead of a commit, like python-fpga-interchange + git reset --hard ${PRJOXIDE_REVISION} PATH=$PATH:$HOME/.cargo/bin cargo install --path prjoxide --all-features popd else |