check only the major version number of GMP in __init__()

Only the major version number of GMP determines the compile time path (in type `RangeGeneratorBigInt`), so no need to check that the full version number correpdonds at run time. Cf. JuliaLang/METADATA.jl#1840.
JuliaLang · Dec 10, 2014 · b5f94b6 · b5f94b6 · ivarne · Dec 10, 2014
1 parent 0d29ddb
commit b5f94b6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/base/gmp.jl b/base/gmp.jl
@@ -52,7 +52,7 @@ _gmp_clear_func = C_NULL
 _mpfr_clear_func = C_NULL
 
 function __init__()
-    if gmp_version() != GMP_VERSION || gmp_bits_per_limb() != GMP_BITS_PER_LIMB
+    if gmp_version().major != GMP_VERSION.major || gmp_bits_per_limb() != GMP_BITS_PER_LIMB
         error(string("The dynamically loaded GMP library (version $(gmp_version()) with __gmp_bits_per_limb == $(gmp_bits_per_limb()))\n",
                      "does not correspond to the compile time version (version $GMP_VERSION with __gmp_bits_per_limb == $GMP_BITS_PER_LIMB).\n",
                      "Please rebuild Julia."))