Hello, Under Installing GMP / Build Options / CPU types it says that GMP has specific support only for a part of all the CPUs that GMP actually has specific support for. For example, Haswell is not listed. Perhaps one doesn't need to specify all the types GMP supports, but rather just refer readers to `configure.ac`. Best, Albin