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

  /src/external/mit/isl/dist/
configure 867 with_gmp
24326 if test ${with_gmp+y}
24328 withval=$with_gmp;
24359 if test "x$with_gmp" != "x" -a "x$with_gmp" != "xyes" -a "x$with_gmp" != "xsystem"; then
24362 with_gmp="system"
24365 if test "x$with_gmp" != "x" -a "x$with_gmp" != "xyes" -a "x$with_gmp" != "xbuild"; the
    [all...]
  /src/external/gpl3/binutils.old/dist/
configure 831 with_gmp
3822 if test "x$with_gmp" = x \
3825 with_gmp=/usr/local
8891 if test "${with_gmp+set}" = set; then :
8892 withval=$with_gmp;
8909 if test "x$with_gmp" != x; then
8910 gmplibs="-L$with_gmp/lib $gmplibs"
8911 gmpinc="-I$with_gmp/include $gmpinc"
8919 if test "x$with_gmp$with_gmp_include$with_gmp_lib" = x && test -d ${srcdir}/gmp; then
  /src/external/gpl3/gcc/dist/
configure 829 with_gmp
3800 if test "x$with_gmp" = x \
3803 with_gmp=/usr/local
8146 if test "${with_gmp+set}" = set; then :
8147 withval=$with_gmp;
8164 if test "x$with_gmp" != x; then
8165 gmplibs="-L$with_gmp/lib $gmplibs"
8166 gmpinc="-I$with_gmp/include $gmpinc"
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 817 with_gmp
3770 if test "x$with_gmp" = x \
3773 with_gmp=/usr/local
8052 if test "${with_gmp+set}" = set; then :
8053 withval=$with_gmp;
8070 if test "x$with_gmp" != x; then
8071 gmplibs="-L$with_gmp/lib $gmplibs"
8072 gmpinc="-I$with_gmp/include $gmpinc"
8080 if test "x$with_gmp$with_gmp_include$with_gmp_lib" = x && test -d ${srcdir}/gmp; then
  /src/external/gpl3/gdb/dist/
configure 831 with_gmp
3822 if test "x$with_gmp" = x \
3825 with_gmp=/usr/local
8891 if test "${with_gmp+set}" = set; then :
8892 withval=$with_gmp;
8909 if test "x$with_gmp" != x; then
8910 gmplibs="-L$with_gmp/lib $gmplibs"
8911 gmpinc="-I$with_gmp/include $gmpinc"
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 828 with_gmp
3808 if test "x$with_gmp" = x \
3811 with_gmp=/usr/local
8109 if test "${with_gmp+set}" = set; then :
8110 withval=$with_gmp;
8127 if test "x$with_gmp" != x; then
8128 gmplibs="-L$with_gmp/lib $gmplibs"
8129 gmpinc="-I$with_gmp/include $gmpinc"
8137 if test "x$with_gmp$with_gmp_include$with_gmp_lib" = x && test -d ${srcdir}/gmp; then
  /src/external/gpl3/binutils/dist/
configure 842 with_gmp
3966 if test "x$with_gmp" = x \
3969 with_gmp=/usr/local
9033 if test "${with_gmp+set}" = set; then :
9034 withval=$with_gmp;
9051 if test "x$with_gmp" != x; then
9052 gmplibs="-L$with_gmp/lib $gmplibs"
9053 gmpinc="-I$with_gmp/include $gmpinc"
9061 if test "x$with_gmp$with_gmp_include$with_gmp_lib" = x && test -d ${srcdir}/gmp; then
  /src/external/lgpl3/mpfr/dist/
configure 828 with_gmp
4034 if test ${with_gmp+y}
4036 withval=$with_gmp;
  /src/external/lgpl3/mpc/dist/
configure 777 with_gmp
3068 if test "${with_gmp+set}" = set; then :
3069 withval=$with_gmp;
  /src/crypto/external/cpl/trousers/dist/
configure 1021 with_gmp
4758 if test "${with_gmp+set}" = set; then
4759 withval=$with_gmp;

Completed in 133 milliseconds