Lines Matching refs:gmpinc
709 gmpinc
8053 gmpinc=
8079 gmpinc="-I$with_mpc/include $gmpinc"
8082 gmpinc="-I$with_mpc_include $gmpinc"
8089 gmpinc='-I$$s/mpc/src '"$gmpinc"
8120 gmpinc="-I$with_mpfr/include $gmpinc"
8123 gmpinc="-I$with_mpfr_include $gmpinc"
8134 gmpinc='-I$$r/$(HOST_SUBDIR)/mpfr/src -I$$s/mpfr/src '"$gmpinc"
8166 gmpinc="-I$with_gmp/include $gmpinc"
8169 gmpinc="-I$with_gmp_include $gmpinc"
8176 gmpinc='-I$$r/$(HOST_SUBDIR)/gmp -I$$s/gmp '"$gmpinc"
8190 CFLAGS="$CFLAGS $gmpinc"
8634 CFLAGS="${_isl_saved_CFLAGS} ${islinc} ${gmpinc}"
Indexes created Mon Apr 13 00:22:24 UTC 2026