История изменений
Исправление waker, (текущая версия) :
там используется макрос AX_DETECT_GMP
https://repo.or.cz/isl.git/blob/HEAD:/m4/ax_detect_gmp.m4
я не очень внимательно вчитывался, но похоже оно ожидает что ты будешь использовать параметр для configure --with_gmp_prefix (или --with-gmp-prefix)
Исходная версия waker, :
там используется макрос AX_DETECT_GMP
https://repo.or.cz/isl.git/blob/HEAD:/m4/ax_detect_gmp.m4
я не очень внимательно вчитывался, но похоже оно ожидает что ты будешь использовать параметр для configure --with_gmp_prefix