This file is indexed.

/usr/bin/linbox-config is in liblinbox-dev 1.3.2-1.1build2.

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
#! /bin/sh

# Copyright (c) the LinBox group
# This file is part of LinBox (and probably stolen here and there)
# see COPYING for licence

prefix=/usr
exec_prefix=${prefix}
includedir=${prefix}/include
libdir=/usr/lib/x86_64-linux-gnu

major=`echo 1.3.2 | cut -d'.' -f1`
minor=`echo 1.3.2 | cut -d'.' -f2`
micro=`echo 1.3.2 | cut -d'.' -f3`
decvr=$((((($major*100)+$minor)*100)+$micro))


cflags=false
libs=false




usage()
{
    cat <<EOF
Usage: linbox-config [OPTION]

Known values for OPTION are:

  --prefix		show Linbox installation prefix 
  --libs		print library linking information
  --cflags		print pre-processor and compiler flags
  --help		display this help and exit
  --version		output version information string (eg 1.3.2)
  --decimal-version	output version information number (eg $decvr)

EOF

    exit $1
}

if test $# -eq 0; then
    usage 1
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
	;;

    --prefix)
	echo $prefix
	;;

    --version)
	echo 1.3.2
	exit 0
	;;

    --decimal-version)
	echo $decvr
	exit 0
	;;

    --help)
	usage 0
	;;

    --cflags)
       	echo -n " -I${includedir}  -I/usr/include/x86_64-linux-gnu    "
	;;

    --libs)
	echo -n " -L${libdir} -llinbox -liml  -lntl -lgivaro  -L/usr/lib/x86_64-linux-gnu -lgmpxx -lgmp -lblas -llapack"
	;;

    *)
	usage
	exit 1
	;;
    esac
    shift
done
echo

exit 0