HomeSort by: relevance | last modified time | path
    Searched refs:with_mpfr (Results 1 - 7 of 7) sorted by relevancy

  /src/external/gpl3/binutils.old/dist/
configure 828 with_mpfr
8846 if test "${with_mpfr+set}" = set; then :
8847 withval=$with_mpfr;
8863 if test "x$with_mpfr" != x; then
8864 gmplibs="-L$with_mpfr/lib $gmplibs"
8865 gmpinc="-I$with_mpfr/include $gmpinc"
8873 if test "x$with_mpfr$with_mpfr_include$with_mpfr_lib" = x && test -d ${srcdir}/mpfr; then
  /src/external/gpl3/gcc/dist/
configure 826 with_mpfr
8101 if test "${with_mpfr+set}" = set; then :
8102 withval=$with_mpfr;
8118 if test "x$with_mpfr" != x; then
8119 gmplibs="-L$with_mpfr/lib $gmplibs"
8120 gmpinc="-I$with_mpfr/include $gmpinc"
8128 if test "x$with_mpfr$with_mpfr_include$with_mpfr_lib" = x && test -d ${srcdir}/mpfr; then
  /src/external/gpl3/gcc.old/dist/
configure 814 with_mpfr
8007 if test "${with_mpfr+set}" = set; then :
8008 withval=$with_mpfr;
8024 if test "x$with_mpfr" != x; then
8025 gmplibs="-L$with_mpfr/lib $gmplibs"
8026 gmpinc="-I$with_mpfr/include $gmpinc"
8034 if test "x$with_mpfr$with_mpfr_include$with_mpfr_lib" = x && test -d ${srcdir}/mpfr; then
  /src/external/gpl3/gdb/dist/
configure 828 with_mpfr
8846 if test "${with_mpfr+set}" = set; then :
8847 withval=$with_mpfr;
8863 if test "x$with_mpfr" != x; then
8864 gmplibs="-L$with_mpfr/lib $gmplibs"
8865 gmpinc="-I$with_mpfr/include $gmpinc"
8873 if test "x$with_mpfr$with_mpfr_include$with_mpfr_lib" = x && test -d ${srcdir}/mpfr; then
  /src/external/gpl3/gdb.old/dist/
configure 825 with_mpfr
8064 if test "${with_mpfr+set}" = set; then :
8065 withval=$with_mpfr;
8081 if test "x$with_mpfr" != x; then
8082 gmplibs="-L$with_mpfr/lib $gmplibs"
8083 gmpinc="-I$with_mpfr/include $gmpinc"
8091 if test "x$with_mpfr$with_mpfr_include$with_mpfr_lib" = x && test -d ${srcdir}/mpfr; then
  /src/external/gpl3/binutils/dist/
configure 839 with_mpfr
8988 if test "${with_mpfr+set}" = set; then :
8989 withval=$with_mpfr;
9005 if test "x$with_mpfr" != x; then
9006 gmplibs="-L$with_mpfr/lib $gmplibs"
9007 gmpinc="-I$with_mpfr/include $gmpinc"
9015 if test "x$with_mpfr$with_mpfr_include$with_mpfr_lib" = x && test -d ${srcdir}/mpfr; then
  /src/external/lgpl3/mpc/dist/
configure 774 with_mpfr
3040 if test "${with_mpfr+set}" = set; then :
3041 withval=$with_mpfr;

Completed in 101 milliseconds