max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

fix: patch bin/lake

Browse source
This commit is contained in:
Sebastian Ullrich 2021-10-07 20:38:57 +02:00 • committed by Leonardo de Moura
parent 674e473c84
commit e67e096086
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
.github/workflows/ci.yml vendored
View file

@ -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