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 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) + {