/usr/bin/regina-engine-config is in regina-normal 4.90-2.
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 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 | #!/bin/sh
#
# This script is based on gtk-config, whose documentation contains the
# following notice:
#
# Copyright (C) 1998 Owen Taylor
#
# Permission to use, copy, modify, and distribute this software and its
# documentation for any purpose and without fee is hereby granted,
# provided that the above copyright notice appear in all copies and that
# both that copyright notice and this permission notice appear in
# supporting documentation.
#
# Changes to this script were made by Ben Burton <bab@debian.org> and are
# licensed under the GNU General Public License.
prefix=/usr
exec_prefix=/usr
exec_prefix_set=no
usage()
{
cat <<EOF
Usage: regina-engine-config [OPTIONS]
Options:
[--prefix[=DIR]]
[--exec-prefix[=DIR]]
[--version]
[--libs]
[--cflags]
EOF
exit $1
}
if test $# -eq 0; then
usage 1 1>&2
fi
while test $# -gt 0; do
case "$1" in
-*=*) optarg=`echo "$1" | sed 's/[-_a-zA-Z0-9]*=//'` ;;
*) optarg= ;;
esac
case $1 in
--prefix=*)
prefix=$optarg
if test $exec_prefix_set = no ; then
exec_prefix=$optarg
fi
;;
--prefix)
echo_prefix=yes
;;
--exec-prefix=*)
exec_prefix=$optarg
exec_prefix_set=yes
;;
--exec-prefix)
echo_exec_prefix=yes
;;
--version)
echo 4.90
;;
--cflags)
echo_cflags=yes
;;
--libs)
echo_libs=yes
;;
*)
usage 1 1>&2
;;
esac
shift
done
if test "$echo_prefix" = "yes"; then
echo $prefix
fi
if test "$echo_exec_prefix" = "yes"; then
echo $exec_prefix
fi
regina_engine_libs="-lregina-engine /usr/lib/libxml2.so /usr/lib/libgmp.so /usr/lib/x86_64-linux-gnu/libz.so -lpthread"
if test "$echo_cflags" = "yes"; then
includes=" -I/usr/include -I/usr/include/libxml2"
includes="-I/usr/include/regina-normal $includes"
echo $includes
fi
if test "$echo_libs" = "yes"; then
libdirs=-L/usr/lib
my_regina_engine_libs=
for i in $regina_engine_libs ; do
if test "x$i" != "x-L/usr/lib" ; then
if test -z "$my_regina_engine_libs" ; then
my_regina_engine_libs="$i"
else
my_regina_engine_libs="$my_regina_engine_libs $i"
fi
fi
done
echo $libdirs $my_regina_engine_libs
fi
|