Index: Makefile =================================================================== --- Makefile (revision 504135) +++ Makefile (working copy) @@ -12,9 +12,8 @@ LICENSE= BSD3CLAUSE FLAGS_DEFINE= INTEGER_GMP SSE2 SSE41 -FLAGS_DEFAULT= INTEGER_GMP -FLAGS_DEFAULT_amd64= SSE2 -FLAGS_DEFAULT_i386= SSE2 +FLAGS_DEFAULT_amd64= INTEGER_GMP SSE2 +FLAGS_DEFAULT_i386= INTEGER_GMP SSE2 INTEGER_GMP_DESC= Use integer-gmp for fast Integer instances INTEGER_GMP_FLAG_ENABLE= integer-gmp