1#!/bin/sh
2#
3# Copyright (c) 2006 - 2007 Kungliga Tekniska H�gskolan
4# (Royal Institute of Technology, Stockholm, Sweden). 
5# All rights reserved. 
6#
7# Redistribution and use in source and binary forms, with or without 
8# modification, are permitted provided that the following conditions 
9# are met: 
10#
11# 1. Redistributions of source code must retain the above copyright 
12#    notice, this list of conditions and the following disclaimer. 
13#
14# 2. Redistributions in binary form must reproduce the above copyright 
15#    notice, this list of conditions and the following disclaimer in the 
16#    documentation and/or other materials provided with the distribution. 
17#
18# 3. Neither the name of the Institute nor the names of its contributors 
19#    may be used to endorse or promote products derived from this software 
20#    without specific prior written permission. 
21#
22# THIS SOFTWARE IS PROVIDED BY THE INSTITUTE AND CONTRIBUTORS ``AS IS'' AND 
23# ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 
24# IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 
25# ARE DISCLAIMED.  IN NO EVENT SHALL THE INSTITUTE OR CONTRIBUTORS BE LIABLE 
26# FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 
27# DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS 
28# OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) 
29# HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT 
30# LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY 
31# OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF 
32# SUCH DAMAGE. 
33
34
35while true
36do
37  case $1 in
38  -s) tsrcdir="$2"; shift 2;;
39  -o) tobjdir="$2"; shift 2;;
40  -*) echo "$0: Bad option $1"; echo $usage; exit 1;;
41  *) break;;
42  esac
43done
44
45if [ X"${tobjdir}" = "X" -o X"${tsrcdir}" = X ] ; then
46    echo "tobjdir or tsrcdir not defined"
47    exit 1
48fi
49
50if [ ! -f "${tobjdir}/libtool" ]; then
51    echo "libtool missing from \"${tobjdir}\""
52    exit 1
53fi
54
55doit=1
56
57libtool="${tobjdir}/libtool --mode=execute"
58
59valgrind="valgrind --leak-check=full --trace-children=yes --quiet -q --num-callers=30 --suppressions=${tsrcdir}/cf/valgrind-suppressions"
60
61if head -10 "$1" | grep 'Generated by ltmain.sh' > /dev/null ; then
62    uselibtool=1
63elif head -10 "$1" | grep 'bin/sh' > /dev/null ; then
64    libtool=
65    valgrind=
66fi
67
68exec $libtool $valgrind "$@"
69