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