fixing FindGMP.cmake on Debian/Buster

On my machine (Debian/Buster) the FindGMP.cmake script could not find the GMP installation that I've installed via the distribution.

Here I'm proposing a rewrite of FindGMP.cmake where this issue is fixed. I've tested that it can also find locally build GMP installations.

Merge request reports

Loading