/usr/bin/vala-gen-introspect-0.18 is in valac-0.18 0.18.1-0ubuntu11.
This file is owned by root:root, with mode 0o755.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 | #!/bin/sh
prefix=/usr
exec_prefix=${prefix}
libdir=${prefix}/lib/x86_64-linux-gnu
pkglibdir=${libdir}/vala-0.18
if [ $# -ne 2 ]
then
echo "Usage: `basename $0` PKGNAME BASEPATH"
exit 1
fi
PKGNAME=$1
PKGBASE=$2/$1
PKGPREFIX=`pkg-config --variable=prefix $PKGNAME`
PKGFILES=`cat $PKGBASE.files | grep ^[/.]`
# This is to avoid adding a leading / in case the prefix is ""
if [ "x$PKGPREFIX" != "x" ]; then
PKGPREFIXPLUSDELIMIT="$PKGPREFIX/"
fi
PKGFILES="${PKGFILES}\
`cat $PKGBASE.files | grep ^[a-zA-Z.] | sed -e "s@^@$PKGPREFIXPLUSDELIMIT@"`"
if [ -e $PKGBASE.excludes ]
then
FILES=`find $PKGFILES -name "*.h" -or -name "*.so" | grep -v -f $PKGBASE.excludes`
else
FILES=`find $PKGFILES -name "*.h" -or -name "*.so"`
fi
if [ -e $PKGBASE.defines ]
then
PKGDEFINES=$(cat $PKGBASE.defines)
fi
$pkglibdir/gen-introspect-0.18 --namespace=`cat $PKGBASE.namespace` $PKGDEFINES `pkg-config --cflags $PKGNAME | sed 's/-pthread//g'` $FILES > $PKGBASE.gi
|