Fix libgmp detection (#7488)
authorLeonid Bobrov <mazocomp@disroot.org>
Tue, 26 Jun 2018 08:00:33 +0000 (11:00 +0300)
committerLoïc Blot <nerzhul@users.noreply.github.com>
Tue, 26 Jun 2018 08:00:33 +0000 (10:00 +0200)
commitae8ae6c9062cde3f8bc388f4ab23c6ff65b5af40
tree551b993ccd694a218b7e80879547c829ef03764d
parente4e95e47afa86b7c522d5b5e64c6ed10094108ff
Fix libgmp detection (#7488)
cmake/Modules/FindGMP.cmake