bluescarni/mppp CMakeLists.txt :318 check_symbol_exists(mpn_divexact_1 "gmp.h" MPPP_GMP_HAVE_MPN_DIVEXACT_1)