This file is indexed.

/usr/bin/regina-engine-config is in regina-normal 5.1-1.

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
109
110
111
#!/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@maths.uq.edu.au> and are
# released under the same license as above.

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 5.1
      ;;
    --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/x86_64-linux-gnu/libxml2.so /usr/lib/x86_64-linux-gnu/libjansson.so /usr/lib/x86_64-linux-gnu/libgmp.so /usr/lib/x86_64-linux-gnu/libgmpxx.so /usr/lib/x86_64-linux-gnu/libz.so -lpthread"

if test "$echo_cflags" = "yes"; then
	includes=" -I/usr/include -I/usr/include/libxml2 -I/usr/include/x86_64-linux-gnu -I/usr/include -I/usr/include -I/usr/include -I/usr/include"
	includes="-I/usr/include/regina-normal $includes"
	if test "x" != "x"; then
		includes=" $includes"
	fi
	echo "-std=c++11" $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