[Patch] configure: Fix in-tree building of GMP on BSD (PR97302)

[Jakub Jelinek]

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