From e67e0960860aa772a8a92846d88175d7487789dd Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Thu, 7 Oct 2021 20:38:57 +0200 Subject: [PATCH] fix: patch bin/lake --- .github/workflows/ci.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 4fa734a78d..87e4228861 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -118,7 +118,7 @@ jobs: if: matrix.name == 'Linux release' run: | cd build/stage1 - for f in lib/lean/libleanshared.so bin/lean bin/leanpkg bin/leanc; do + for f in lib/lean/libleanshared.so bin/lean bin/leanpkg bin/leanc bin/lake; do cp -n $(ldd "$f" | cut -f3 -d' ' | grep -Ev 'libc|lean') lib/ || true if [[ "$f" == bin/* ]]; then patchelf --set-interpreter /lib64/ld-linux-x86-64.so.2 --set-rpath '$ORIGIN/../lib:$ORIGIN/../lib/lean' $f @@ -133,7 +133,7 @@ jobs: if: matrix.name == 'macOS' run: | cd build/stage1 - for f in lib/lean/libleanshared.dylib bin/lean bin/leanpkg bin/leanc; do + for f in lib/lean/libleanshared.dylib bin/lean bin/leanpkg bin/leanc bin/lake; do for lib in $(otool -L $f | tail -n +2 | cut -d' ' -f1); do [[ "$lib" == /usr/lib/* ]] || install_name_tool -change "$lib" "@rpath/$(basename $lib)" $f done