From 5305b438be67c11f3f22c188922675fa7211fce8 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Fri, 13 Feb 2026 19:34:13 +0000
Subject: [PATCH] Add out-of-line definitions for static constexpr members to
 fix ODR violations

Co-authored-by: nunoplopes <2998477+nunoplopes@users.noreply.github.com>
---
 src/util/mpz.cpp | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/util/mpz.cpp b/src/util/mpz.cpp
index 5835a86cc..d83b74039 100644
--- a/src/util/mpz.cpp
+++ b/src/util/mpz.cpp
@@ -33,6 +33,11 @@ Revision History:
 #error No multi-precision library selected.
 #endif
 
+// Out-of-line definitions for static constexpr members (required for ODR-use in C++14 and earlier)
+constexpr int mpz::SMALL_BITS;
+constexpr int64_t mpz::SMALL_INT_MAX;
+constexpr int64_t mpz::SMALL_INT_MIN;
+
 // Available GCD algorithms
 // #define EUCLID_GCD
 // #define BINARY_GCD