/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}
|