Searched refs:with_gmp_dir (Results 1 – 2 of 2) sorted by relevance
3717 if test "x$with_gmp" = x && test "x$with_gmp_dir" = x \5597 withval=$with_gmp_dir; as_fn_error "The --with-gmp-dir=PATH option has been removed.
1053 if test "x$with_gmp" = x && test "x$with_gmp_dir" = x \