Revision 8c00e17908cd4d84e8366b2d44dc1af432c00d82 authored by Sobhan Mohammadpour on 16 September 2022, 09:43:59 UTC, committed by GitHub on 16 September 2022, 09:43:59 UTC
Co-authored-by: Daniel Karrasch <Daniel.Karrasch@posteo.de> Co-authored-by: Daniel Karrasch <Daniel.Karrasch@posteo.de> Co-authored-by: Martin Holters <martin.holters@hsu-hh.de>
1 parent 174b893
fixup-libstdc++.sh
#!/bin/sh
# This file is a part of Julia. License is MIT: https://julialang.org/license
# Run as: fixup-libstdc++.sh <libdir> <private_libdir>
if [ "$#" -ne 2 ]; then
echo "Usage: $0 <libdir> <private_libdir>"
exit 1
fi
libdir="$1"
private_libdir="$2"
if [ ! -f "$private_libdir/libjulia-internal.so" ] && \
[ ! -f "$private_libdir/libjulia-internal-debug.so" ]; then
echo "ERROR: Could not open $private_libdir/libjulia-internal.so" >&2
exit 2
fi
find_shlib ()
{
if [ -f "$1" ]; then
ldd "$1" | grep $2 | cut -d' ' -f3 | xargs
fi
}
# Discover libstdc++ location and name
if [ -f "$private_libdir/libjulia-internal.so" ]; then
LIBSTD=$(find_shlib "$private_libdir/libjulia-internal.so" "libstdc++.so")
elif [ -f "$private_libdir/libjulia-internal-debug.so" ]; then
LIBSTD=$(find_shlib "$private_libdir/libjulia-internal-debug.so" "libstdc++.so")
fi
LIBSTD_NAME=$(basename $LIBSTD)
LIBSTD_DIR=$(dirname $LIBSTD)
if [ ! -f "$private_libdir/$LIBSTD_NAME" ] && [ -f "$LIBSTD_DIR/$LIBSTD_NAME" ]; then
cp -v "$LIBSTD_DIR/$LIBSTD_NAME" "$private_libdir"
chmod 755 "$private_libdir/$LIBSTD_NAME"
fi
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...