Lines Matching refs:gmpinc
701 gmpinc
7959 gmpinc=
7985 gmpinc="-I$with_mpc/include $gmpinc"
7988 gmpinc="-I$with_mpc_include $gmpinc"
7995 gmpinc='-I$$s/mpc/src '"$gmpinc"
8026 gmpinc="-I$with_mpfr/include $gmpinc"
8029 gmpinc="-I$with_mpfr_include $gmpinc"
8040 gmpinc='-I$$r/$(HOST_SUBDIR)/mpfr/src -I$$s/mpfr/src '"$gmpinc"
8072 gmpinc="-I$with_gmp/include $gmpinc"
8075 gmpinc="-I$with_gmp_include $gmpinc"
8082 gmpinc='-I$$r/$(HOST_SUBDIR)/gmp -I$$s/gmp '"$gmpinc"
8096 CFLAGS="$CFLAGS $gmpinc"
8488 CFLAGS="${_isl_saved_CFLAGS} ${islinc} ${gmpinc}"
Indexes created Mon Apr 13 00:22:24 UTC 2026