OpenGrok
Home
Sort by:
relevance
|
last modified time
|
path
Full Search
in project(s):
src
xsrc
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:with_gmp_lib
(Results
1 - 8
of
8
) sorted by relevancy
/src/external/gpl3/binutils.old/dist/
configure
833
with_gmp_lib
8903
if test "${
with_gmp_lib
+set}" = set; then :
8904
withval=$
with_gmp_lib
;
8916
if test "x$
with_gmp_lib
" != x; then
8917
gmplibs="-L$
with_gmp_lib
$gmplibs"
8919
if test "x$with_gmp$with_gmp_include$
with_gmp_lib
" = x && test -d ${srcdir}/gmp; then
/src/external/gpl3/gcc/dist/
configure
831
with_gmp_lib
8158
if test "${
with_gmp_lib
+set}" = set; then :
8159
withval=$
with_gmp_lib
;
8171
if test "x$
with_gmp_lib
" != x; then
8172
gmplibs="-L$
with_gmp_lib
$gmplibs"
8174
if test "x$with_gmp$with_gmp_include$
with_gmp_lib
" = x && test -d ${srcdir}/gmp; then
/src/external/gpl3/gcc.old/dist/
configure
819
with_gmp_lib
8064
if test "${
with_gmp_lib
+set}" = set; then :
8065
withval=$
with_gmp_lib
;
8077
if test "x$
with_gmp_lib
" != x; then
8078
gmplibs="-L$
with_gmp_lib
$gmplibs"
8080
if test "x$with_gmp$with_gmp_include$
with_gmp_lib
" = x && test -d ${srcdir}/gmp; then
/src/external/gpl3/gdb/dist/
configure
833
with_gmp_lib
8903
if test "${
with_gmp_lib
+set}" = set; then :
8904
withval=$
with_gmp_lib
;
8916
if test "x$
with_gmp_lib
" != x; then
8917
gmplibs="-L$
with_gmp_lib
$gmplibs"
8919
if test "x$with_gmp$with_gmp_include$
with_gmp_lib
" = x && test -d ${srcdir}/gmp; then
/src/external/gpl3/gdb.old/dist/
configure
833
with_gmp_lib
8903
if test "${
with_gmp_lib
+set}" = set; then :
8904
withval=$
with_gmp_lib
;
8916
if test "x$
with_gmp_lib
" != x; then
8917
gmplibs="-L$
with_gmp_lib
$gmplibs"
8919
if test "x$with_gmp$with_gmp_include$
with_gmp_lib
" = x && test -d ${srcdir}/gmp; then
/src/external/gpl3/binutils/dist/
configure
844
with_gmp_lib
9045
if test "${
with_gmp_lib
+set}" = set; then :
9046
withval=$
with_gmp_lib
;
9058
if test "x$
with_gmp_lib
" != x; then
9059
gmplibs="-L$
with_gmp_lib
$gmplibs"
9061
if test "x$with_gmp$with_gmp_include$
with_gmp_lib
" = x && test -d ${srcdir}/gmp; then
/src/external/lgpl3/mpc/dist/
configure
776
with_gmp_lib
3062
if test "${
with_gmp_lib
+set}" = set; then :
3063
withval=$
with_gmp_lib
; LDFLAGS="-L$withval $LDFLAGS"
3070
if test -z "$
with_gmp_lib
" -a -z "$with_gmp_include" ; then
/src/external/lgpl3/mpfr/dist/
configure
827
with_gmp_lib
4001
if test ${
with_gmp_lib
+y}
4003
withval=$
with_gmp_lib
;
4059
if test -z "$
with_gmp_lib
" && test -z "$with_gmp_include" ; then
Completed in 118 milliseconds
Indexes created Sun Apr 19 00:22:55 UTC 2026