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

  /src/external/lgpl3/mpfr/dist/
configure 826 with_gmp_include
3971 if test ${with_gmp_include+y}
3973 withval=$with_gmp_include;
4059 if test -z "$with_gmp_lib" && test -z "$with_gmp_include" ; then
4100 if test -z "$gmp_lib_path" && test -z "$with_gmp_include" ; then
4155 if test -z "$gmp_lib_path" && test -z "$with_gmp_include" && \
  /src/external/gpl3/binutils.old/dist/
configure 832 with_gmp_include
8897 if test "${with_gmp_include+set}" = set; then :
8898 withval=$with_gmp_include;
8913 if test "x$with_gmp_include" != x; then
8914 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 830 with_gmp_include
8152 if test "${with_gmp_include+set}" = set; then :
8153 withval=$with_gmp_include;
8168 if test "x$with_gmp_include" != x; then
8169 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 818 with_gmp_include
8058 if test "${with_gmp_include+set}" = set; then :
8059 withval=$with_gmp_include;
8074 if test "x$with_gmp_include" != x; then
8075 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 832 with_gmp_include
8897 if test "${with_gmp_include+set}" = set; then :
8898 withval=$with_gmp_include;
8913 if test "x$with_gmp_include" != x; then
8914 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 829 with_gmp_include
8115 if test "${with_gmp_include+set}" = set; then :
8116 withval=$with_gmp_include;
8131 if test "x$with_gmp_include" != x; then
8132 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 843 with_gmp_include
9039 if test "${with_gmp_include+set}" = set; then :
9040 withval=$with_gmp_include;
9055 if test "x$with_gmp_include" != x; then
9056 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/mpc/dist/
configure 775 with_gmp_include
3056 if test "${with_gmp_include+set}" = set; then :
3057 withval=$with_gmp_include; CPPFLAGS="-I$withval $CPPFLAGS"
3070 if test -z "$with_gmp_lib" -a -z "$with_gmp_include" ; then

Completed in 116 milliseconds