Open jaganmn opened 3 weeks ago
Thanks for noticing this! Looks like we should remove the one in double_interval.h
as it is currently unused, but I'll let @fredrik-johansson decide when he gets back from vacation.
d_randtest2
seems to be used by di_randtest
, defined just below. For now, I am working around this with:
diff -ruN flint-3.1.3/src/double_interval.h flint-3.1.3-patched/src/double_interval.h
--- flint-3.1.3/src/double_interval.h 2024-04-25 17:00:25
+++ flint-3.1.3-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)
{
A colleague of mine is trying to check FLINT built under macOS. He does not hit #2048, perhaps because his architecture is
x86_64
rather thanaarch64
... ? But he encounters a linker error at a later stage:Indeed, I see
d_randtest2
defined twice (in thedouble_interval
module and again in the tests), but perhaps other linkers have ignored it. He is, like me, using the native Apple LLVM, not Homebrew LLVM ...