Skip to content

Commit

Permalink
fix: copy <__config_site> for llvm-host
Browse files Browse the repository at this point in the history
  • Loading branch information
bollu committed Oct 14, 2022
1 parent ff9a6be commit 3fc331a
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions script/prepare-llvm-linux.sh
Original file line number Diff line number Diff line change
Expand Up @@ -40,6 +40,7 @@ $CP llvm/lib/*/lib{c++,c++abi,unwind}.* llvm/lib/
$CP llvm-host/lib/*/lib{c++,c++abi,unwind}.* llvm-host/lib/
# https://github.com/llvm/llvm-project/issues/57104
$CP -r llvm/include/*/c++ llvm/include/c++
$CP -r llvm-host/include/*/c++ llvm-host/include/c++
# glibc: use for linking (so Lean programs don't embed newer symbol versions), but not for running (because libc.so, librt.so, and ld.so must be compatible)!
$CP $GLIBC/lib/libc_nonshared.a stage1/lib/glibc
for f in $GLIBC/lib/lib{c,dl,m,rt,pthread}-*; do b=$(basename $f); cp $f stage1/lib/glibc/${b%-*}.so; done
Expand Down

0 comments on commit 3fc331a

Please sign in to comment.