#! /bin/sh -e
# This file is part of Coccinelle, lincensed under the terms of the GPL v2.
# See copyright.txt in the Coccinelle source code for more information.
# The Coccinelle source code can be obtained at http://coccinelle.lip6.fr

exec_prefix="/usr/local"
LIBDIR="${exec_prefix}/lib"/coccinelle/spgen

if [ -f "$LIBDIR"/spgen ]
then
    TARGET=spgen
elif [ -f "$LIBDIR"/spgen.opt ]
then
    TARGET=spgen.opt
else
    echo Unable to find spgen executable. >/dev/fd/2
    exit 1
fi

exec "$LIBDIR/$TARGET" "$@"
