This file is indexed.

/usr/bin/givaro-makefile is in libgivaro-dev 3.7.2-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
#!/usr/bin/make -f
# Copyright(c)'1994-2009 by The Givaro group
# This file is part of Givaro.
# Givaro is governed by the CeCILL-B license under French law
# and abiding by the rules of distribution of free software. 
# see the COPYRIGHT file for more details.


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

CXX = g++
AR  = ar

OPTFLAGS =  -g -O2 -fstack-protector --param=ssp-buffer-size=4 -Wformat -Werror=format-security
GMP_CFLAGS = 
GMP_LIBS   =  -lgmpxx -lgmp

GIVARO_CXXFLAGS = -I${includedir}
GIVARO_LIBS  = -L${libdir} -lgivaro 

CXXFLAGS += ${OPTFLAGS} ${GIVARO_CXXFLAGS} ${GMP_CFLAGS}
LOADLIBES += ${GIVARO_LIBS} ${GMP_LIBS}

.SUFFIXES: .o .C

.C.o:
	${CXX}  -o $@ -c $<  ${CXXFLAGS} 
 
.C:
	${CXX}  -o $@ $<  ${CXXFLAGS}  ${LOADLIBES}