New comment by tornaria on void-packages repository https://github.com/void-linux/void-packages/pull/32822#issuecomment-964069675 Comment: I think it is because there is `hostmakedepends=gmp-devel` instead of `makedepends=gmp-devel`. Then configure is not finding gmp. Can you try again with that change?