From 245b4ed31ec154841cc3bee0e8597d842beb96b7 Mon Sep 17 00:00:00 2001
From: Fredrik Johansson <fredrik.johansson@gmail.com>
Date: Tue, 27 Jun 2023 12:05:27 +0200
Subject: [PATCH] add __FLINT_RELEASE_NUM macro (fixes #1394)

---
 src/flint.h | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/src/flint.h b/src/flint.h
index edf4116717..70fc714838 100644
--- 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