diff options
| author | Laurențiu Nicola <lnicola@users.noreply.github.com> | 2025-03-03 07:00:48 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-03-03 07:00:48 +0000 |
| commit | 015e81d08f4320fd9bbaed390405cbea4e3b21a1 (patch) | |
| tree | de4c406ac035a22c6e874bd6563ab463d75df678 /src/ci/docker/scripts | |
| parent | c6a7251c22094f7fc4247c6cc379eb33f3f8c2af (diff) | |
| parent | 24c480e350a1307e3b8a4b53a5bdf708b94905d1 (diff) | |
| download | rust-015e81d08f4320fd9bbaed390405cbea4e3b21a1.tar.gz rust-015e81d08f4320fd9bbaed390405cbea4e3b21a1.zip | |
Merge pull request #19269 from lnicola/sync-from-rust
minor: sync from downstream
Diffstat (limited to 'src/ci/docker/scripts')
| -rwxr-xr-x | src/ci/docker/scripts/build-gccjit.sh | 37 |
1 files changed, 0 insertions, 37 deletions
diff --git a/src/ci/docker/scripts/build-gccjit.sh b/src/ci/docker/scripts/build-gccjit.sh deleted file mode 100755 index 43ed2270d31..00000000000 --- a/src/ci/docker/scripts/build-gccjit.sh +++ /dev/null @@ -1,37 +0,0 @@ -#!/usr/bin/env bash - -GIT_REPO="https://github.com/rust-lang/gcc" - -# This commit hash needs to be updated to use a more recent gcc fork version. -GIT_COMMIT="45648c2edd4ecd862d9f08196d3d6c6ccba79f07" - -set -ex - -cd $1 - -source shared.sh - -# Setting up folders for GCC -curl -L "$GIT_REPO/archive/$GIT_COMMIT.tar.gz" | - tar -xz --transform "s/gcc-$GIT_COMMIT/gcc-src/" - -mkdir gcc-build gcc-install -pushd gcc-build - -# Building GCC. -hide_output \ - ../gcc-src/configure \ - --enable-host-shared \ - --enable-languages=jit \ - --enable-checking=release \ - --disable-bootstrap \ - --disable-multilib \ - --prefix=$(pwd)/../gcc-install \ - -hide_output make -j$(nproc) -hide_output make install - -popd -rm -rf gcc-src gcc-build -ln -s /scripts/gcc-install/lib/libgccjit.so /usr/lib/x86_64-linux-gnu/libgccjit.so -ln -s /scripts/gcc-install/lib/libgccjit.so /usr/lib/x86_64-linux-gnu/libgccjit.so.0 |