diff options
author | gatecat <gatecat@ds0.me> | 2021-06-24 08:27:47 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-06-24 08:27:47 +0100 |
commit | 454617f0cbdc5cda0cccb1d451935beba064f46d (patch) | |
tree | 00c24fc0a09d0f0ae423e2a147dc6a2e35d10ec4 | |
parent | c73d4cf6dd7568801f9c3cc5082593bddc8b5d9f (diff) | |
parent | 721e760f1a37512331e80083c2a7dca04cf978b5 (diff) | |
download | nextpnr-454617f0cbdc5cda0cccb1d451935beba064f46d.tar.gz nextpnr-454617f0cbdc5cda0cccb1d451935beba064f46d.tar.bz2 nextpnr-454617f0cbdc5cda0cccb1d451935beba064f46d.zip |
Merge pull request #734 from acomodi/remove-rw-patch
ci: remove RapidWright patching
-rwxr-xr-x | .github/ci/build_interchange.sh | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/.github/ci/build_interchange.sh b/.github/ci/build_interchange.sh index 47f9b281..8168d519 100755 --- a/.github/ci/build_interchange.sh +++ b/.github/ci/build_interchange.sh @@ -49,9 +49,6 @@ function get_dependencies { git clone https://github.com/Xilinx/RapidWright.git ${RAPIDWRIGHT_PATH} pushd ${RAPIDWRIGHT_PATH} make update_jars - # TODO: remove this patch once https://github.com/Xilinx/RapidWright/issues/183 is solved - wget https://github.com/Xilinx/RapidWright/releases/download/v2020.2.5-beta/rapidwright_api_lib-2020.2.5-patch1.zip - unzip -o rapidwright_api_lib-2020.2.5-patch1.zip popd fi } |