fixup-libstdc++.sh

#!/bin/sh
# Run as: fixup-libstdc++.sh <$private_libdir>

if [ -z "$1" ]; then
    echo "Usage: $0 <private_libdir>"
    exit 1
fi

private_libdir=$1

if [ ! -f "$private_libdir/libjulia.so" ]; then
    echo "ERROR: Could not open $private_libdir/libjulia.so" >&2
    exit 2
fi

find_shlib ()
{
    if [ -f "$private_libdir/lib$1.so" ]; then
        ldd "$private_libdir/lib$1.so" | grep $2 | cut -d' ' -f3 | xargs
    fi
}

# Discover libstdc++ location and name
LIBSTD=$(find_shlib "julia" "libstdc++.so")
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