On Tue, Oct 06, 2020 at 10:56:35AM +0200, Tobias Burnus wrote:
> As reported in the PR, the in-tree build of GMP fails for BSD.
> The reason is that with_gmp is set if there is a gmp.h under
> /usr/local – such that in-tree GMP is build but later not used,
> which causes build fails if /usr/local has no proper GMP.
>
> Fixed by skipping the setting of with_gmp if there is an
> in-tree GMP.
>
> Patch was tested by the PR creator.
>
> OK for the trunk? (Other branches?)
Ok for trunk and branches.
> configure: Fix in-tree building of GMP on BSD (PR97302)
I think the conventions say [PR97302] rather than (PR97302).
> ChangeLog:
> PR target/97302
> * configure.ac: Only set with_gmp to /usr/local
> if not building in tree.
> * configure: Regenerate.
Jakub
