checkUndefined.sh revision 183bc517a9dca5a54ba6701581066363e78de360
#!/bin/sh
#
# Copyright (C) 2006-2010 Oracle Corporation
#
# This file is part of VirtualBox Open Source Edition (OSE), as
# available from http://www.virtualbox.org. This file is free software;
# you can redistribute it and/or modify it under the terms of the GNU
# General Public License (GPL) as published by the Free Software
# Foundation, in version 2 as it comes in the "COPYING" file of the
# VirtualBox OSE distribution. VirtualBox OSE is distributed in the
# hope that it will be useful, but WITHOUT ANY WARRANTY of any kind.
#
#
# Compare undefined symbols in a shared or static object against a new-line
# separated list of grep patterns in a text file.
#
# Usage: /bin/sh <script name> <object> <allowed undefined symbols> [--static]
#
# Currently only works for native objects on Linux platforms
#
echoerr()
{
echo $* 1>&2
}
hostos=$1
target=$2
symbols=$3
static=$4
if test $# -lt 3 || test $# -gt 4 || test ! -r "$target" || test ! -r "$symbols"; then
if test ! -r "$target"; then
echoerr "$0: '$target' not readable"
elif test ! -r "$symbols"; then
echoerr "$0: '$symbols' not readable"
else
echoerr "$0: Wrong number of arguments"
fi
args_ok="no"
fi
if test $# -eq 4 && test "$static" != "--static"; then
args_ok="no"
fi
if test "$args_ok" = "no"; then
echoerr "Usage: $0 <object> <allowed undefined symbols> [--static]"
exit 1
fi
if test "$hostos" = "solaris"; then
objdumpbin=/usr/sfw/bin/gobjdump
grepbin=/usr/sfw/bin/ggrep
elif test "$hostos" = "linux"; then
objdumpbin=`which objdump`
grepbin=`which grep`
else
echoerr "$0: '$hostos' not a valid hostos string. supported 'linux' 'solaris'"
exit 1
fi
command="-T"
if test "$static" = "--static"; then
command="-t"
fi
if test ! -x "$objdumpbin"; then
echoerr "$0: '$objdumpbin' not found or not executable."
exit 1
fi
undefined=`$objdumpbin $command $target | $grepbin '*UND*' | $grepbin -v -f $symbols | kmk_sed -e 's/^.*[[:blank:]]\(.*\)/\1/'`
num_undef=`echo $undefined | wc -w`
if test $num_undef -ne 0; then
echoerr "$0: following symbols not defined in $symbols:"
echoerr "$undefined"
exit 1
fi
# Return code
exit 0