add __FLINT_RELEASE_NUM macro (fixes #1394)

flintlib · Jun 27, 2023 · 245b4ed · 245b4ed
1 parent af141d7
commit 245b4ed
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/src/flint.h b/src/flint.h
@@ -91,9 +91,8 @@ extern "C" {
 #define __FLINT_VERSION_MINOR 0
 #define __FLINT_VERSION_PATCHLEVEL 0
 #define FLINT_VERSION "3.0.0-dev"
-#define __FLINT_RELEASE (__FLINT_VERSION * 10000 + \
-                         __FLINT_VERSION_MINOR * 100 + \
-                         __FLINT_VERSION_PATCHLEVEL)
+#define __FLINT_RELEASE_NUM(a,b,c) ((a)*10000 + (b)*100 + (c))
+#define __FLINT_RELEASE __FLINT_RELEASE_NUM(__FLINT_VERSION, __FLINT_VERSION_MINOR, __FLINT_VERSION_PATCHLEVEL)
 
 #if __GNU_MP_VERSION < 5
 #error GMP 5.0.0 or MPIR 2.6.0 or later are required