From adb80ee90109a733399582f01e0893bd4637bfa4 Mon Sep 17 00:00:00 2001
From: Mikael Jagan <jaganmn@mcmaster.ca>
Date: Sun, 27 Oct 2024 17:25:59 -0400
Subject: [PATCH 1/2] add recipe for flint

---
 recipes/flint | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 recipes/flint

diff --git a/recipes/flint b/recipes/flint
new file mode 100644
index 0000000..b0a9ada
--- /dev/null
+++ b/recipes/flint
@@ -0,0 +1,6 @@
+Package: flint
+Version: 3.1.3-p1
+Source-URL: https://github.com/flintlib/flint/releases/download/v${ver}/flint-${ver}.tar.gz
+Source-SHA256: 96637ba9de43397d06657deefe8e6dee9d226992b5526bb1c9a9d563b983e027
+Depends: mpfr (>= 4.1.0), gmp (>= 6.2.1)
+Special: in-sources

From b38ae3bbbcb798d2f7df1b643df10e3f0b54792f Mon Sep 17 00:00:00 2001
From: Mikael Jagan <jaganmn@mcmaster.ca>
Date: Sun, 27 Oct 2024 20:38:11 -0400
Subject: [PATCH 2/2] avoid linker error when checking build

---
 recipes/flint.patch | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 recipes/flint.patch

diff --git a/recipes/flint.patch b/recipes/flint.patch
new file mode 100644
index 0000000..f553848
--- /dev/null
+++ b/recipes/flint.patch
@@ -0,0 +1,11 @@
+diff -ruN flint-3.1.3-p1/src/double_interval.h flint-3.1.3-p1-patched/src/double_interval.h
+--- flint-3.1.3-p1/src/double_interval.h	2024-04-25 17:00:25
++++ flint-3.1.3-p1-patched/src/double_interval.h	2024-08-28 10:47:50
+@@ -183,6 +183,7 @@
+ di_t arb_get_di(const arb_t x);
+ void arb_set_di(arb_t res, di_t x, slong prec);
+ 
++static
+ DOUBLE_INTERVAL_INLINE
+ double d_randtest2(flint_rand_t state)
+ {