From 44f685fb9a5a30fb7be29ad666e2d989a66950b1 Mon Sep 17 00:00:00 2001 From: Min Wang Date: Mon, 26 Apr 2021 10:46:05 +0800 Subject: [PATCH] fix bug. when gmp version is 6.2.1 fix bug. when gmp version is bigger than 6.0.0. gmp current version is 6.2.1. --- src/gen_gmp_aux.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/gen_gmp_aux.cpp b/src/gen_gmp_aux.cpp index 463a751..3c029bc 100644 --- a/src/gen_gmp_aux.cpp +++ b/src/gen_gmp_aux.cpp @@ -116,7 +116,7 @@ int main() sprintf(buffer, "%d.%d.%d", __GNU_MP_VERSION, __GNU_MP_VERSION_MINOR, __GNU_MP_VERSION_PATCHLEVEL); fprintf(stderr, "GMP version check (%s/%s)\n", buffer, gmp_version); - if (strcmp(buffer, gmp_version)) { + if (strcmp(buffer, gmp_version) < 0) { if (__GNU_MP_VERSION_PATCHLEVEL != 0) bad_version = true; else {