diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2025-01-25 05:11:28 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2025-01-25 05:11:28 +0000 |
| commit | c9502079ed12d35de139416cd8e67e43b0b5bfd8 (patch) | |
| tree | 6a131fb160b1ad071bb1a0c30add05ae64b48ebd /src/ci/docker/scripts | |
| parent | 99d29633863bbabe2cf516fac126365d73fca026 (diff) | |
| parent | 83c09ff3bd5a390bc7f4968e4e570744d11d4663 (diff) | |
| download | rust-c9502079ed12d35de139416cd8e67e43b0b5bfd8.tar.gz rust-c9502079ed12d35de139416cd8e67e43b0b5bfd8.zip | |
Merge from rustc
Diffstat (limited to 'src/ci/docker/scripts')
| -rwxr-xr-x | src/ci/docker/scripts/build-zstd.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/ci/docker/scripts/build-zstd.sh b/src/ci/docker/scripts/build-zstd.sh index a3d37ccc311..cffa7151e38 100755 --- a/src/ci/docker/scripts/build-zstd.sh +++ b/src/ci/docker/scripts/build-zstd.sh @@ -25,5 +25,11 @@ cd zstd-$ZSTD CFLAGS=-fPIC hide_output make -j$(nproc) VERBOSE=1 hide_output make install +# It doesn't seem to be possible to move destination directory +# of the `make install` above. We thus copy the built artifacts +# manually to our custom rustroot, so that it can be found through +# LD_LIBRARY_PATH. +cp /usr/local/lib/libzstd* /rustroot/lib64 + cd .. rm -rf zstd-$ZSTD |