diff options
| author | Jakub Beránek <jakub.beranek@vsb.cz> | 2025-01-02 18:02:57 +0100 |
|---|---|---|
| committer | Jakub Beránek <berykubik@gmail.com> | 2025-01-21 11:24:10 +0100 |
| commit | 00381ead1af39db9e5ce24a8da4dda59b714dbf7 (patch) | |
| tree | 2270a2894e1052af34fad6bdfdf9c35cdad00f80 /src/ci/docker/scripts | |
| parent | 73c0ae6aec8f3d07467dfb9339761fa2eec92a44 (diff) | |
| download | rust-00381ead1af39db9e5ce24a8da4dda59b714dbf7.tar.gz rust-00381ead1af39db9e5ce24a8da4dda59b714dbf7.zip | |
Make it possible to build GCC on CI
This is the first step to enable download of precompiled GCC
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 |
