New comment by Idesmi on void-packages repository https://github.com/void-linux/void-packages/issues/36751#issuecomment-1102485256 Comment: It should suffice to add `-DWITH_GMP=ON` to configure_args, and `gmp-devel` to makedepends.