diff options
author | Alessandro Comodi <acomodi@antmicro.com> | 2021-03-26 12:01:16 +0100 |
---|---|---|
committer | Alessandro Comodi <acomodi@antmicro.com> | 2021-03-26 15:11:03 +0100 |
commit | d0bc033ab80e6c36378de8e22b0e30db79ab3b75 (patch) | |
tree | fcf062ce78d28db2de990ea5d4424d46f4404487 /.github/ci | |
parent | b5ba3ee9ee5dc7bdae3e528bdfd03b375d8aa34e (diff) | |
download | nextpnr-d0bc033ab80e6c36378de8e22b0e30db79ab3b75.tar.gz nextpnr-d0bc033ab80e6c36378de8e22b0e30db79ab3b75.tar.bz2 nextpnr-d0bc033ab80e6c36378de8e22b0e30db79ab3b75.zip |
gh-actions: better yosys caching based on version
Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
Diffstat (limited to '.github/ci')
-rwxr-xr-x | .github/ci/build_interchange.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/ci/build_interchange.sh b/.github/ci/build_interchange.sh index d20dba67..1d2ee9dc 100755 --- a/.github/ci/build_interchange.sh +++ b/.github/ci/build_interchange.sh @@ -19,10 +19,10 @@ function build_capnp { # Install latest Yosys function build_yosys { - git clone https://github.com/YosysHQ/yosys.git + DESTDIR=`pwd`/.yosys pushd yosys make -j`nproc` - sudo make install + sudo make install DESTDIR=$DESTDIR popd } |