aboutsummaryrefslogtreecommitdiffstats
path: root/.github
diff options
context:
space:
mode:
authorgatecat <gatecat@ds0.me>2021-04-09 11:09:42 +0100
committergatecat <gatecat@ds0.me>2021-04-09 11:17:25 +0100
commit7acef0044303f69d97c1883e0f52c474afc2e030 (patch)
treec9afba5750787b7b1139b5f6db87e7f2bde24701 /.github
parent581682a08e6113eb8abfaf9e690e399e350e982c (diff)
downloadnextpnr-7acef0044303f69d97c1883e0f52c474afc2e030.tar.gz
nextpnr-7acef0044303f69d97c1883e0f52c474afc2e030.tar.bz2
nextpnr-7acef0044303f69d97c1883e0f52c474afc2e030.zip
interchange: Pin prjoxide commit
Signed-off-by: gatecat <gatecat@ds0.me>
Diffstat (limited to '.github')
-rwxr-xr-x.github/ci/build_interchange.sh2
-rw-r--r--.github/workflows/interchange_ci.yml1
2 files changed, 3 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
diff --git a/.github/workflows/interchange_ci.yml b/.github/workflows/interchange_ci.yml
index 4c451c30..2c939d0e 100644
--- a/.github/workflows/interchange_ci.yml
+++ b/.github/workflows/interchange_ci.yml
@@ -109,6 +109,7 @@ jobs:
RAPIDWRIGHT_PATH: ${{ github.workspace }}/RapidWright
PYTHON_INTERCHANGE_PATH: ${{ github.workspace }}/python-fpga-interchange
PYTHON_INTERCHANGE_TAG: v0.0.7
+ PRJOXIDE_REVISION: a85135648c3ef2f7b3fd53ae2187ef6460e34b16
DEVICE: ${{ matrix.device }}
run: |
export PATH="/usr/lib/ccache:/usr/local/opt/ccache/libexec:$PATH"