[Bug target/97302] FreeBSD build fails with contrib/download_prerequisites with missing gmp.h

[burnus at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97302

Tobias Burnus <burnus at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |burnus at gcc dot gnu.org

--- Comment #2 from Tobias Burnus <burnus at gcc dot gnu.org> ---
Created attachment 49313
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=49313&action=edit
configure.ac patch

I think there is an ordering problem in the top configure.ac:

  *-*-freebsd*)
    if test "x$with_gmp" = x && test "x$with_gmp_dir" = x \
        && test -f /usr/local/include/gmp.h; then
      with_gmp=/usr/local
    fi
    ;;

and later:

if test "x$with_gmp$with_gmp_include$with_gmp_lib" = x && test -d
${srcdir}/gmp; then


Thus, the in-tree-build check fails if with_gmp is set.


Can you try the attached patch? I currently do not have a BSD system at hand.