Hi, Maude fails to build on armhf/arm32 arch with:
In file included from timeManagerSymbol.cc:64:
timeActions.cc: In member function ‘void
TimeManagerSymbol::getTimeSinceEpoch(FreeDagNode*,
ObjectSystemRewritingContext&)’:
timeActions.cc:43:41: error: call of overloaded ‘__gmp_expr(__time64_t&)’ is
ambiguous
43 | mpz_class nanoSeconds(timeValue.tv_sec);
| ^
In file included from ../../src/BuiltIn/succSymbol.hh:28,
from timeManagerSymbol.cc:53:
/usr/include/gmpxx.h:1646:3: note: candidate: ‘__gmp_expr<__mpz_struct [1],
__mpz_struct [1]>::__gmp_expr(double)’
1646 | __GMPXX_DEFINE_ARITHMETIC_CONSTRUCTORS
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/gmpxx.h:1646:3: note: candidate: ‘__gmp_expr<__mpz_struct [1],
__mpz_struct [1]>::__gmp_expr(float)’
Full long here:
https://buildd.debian.org/status/fetch.php?pkg=maude&arch=armhf&ver=3.4-1&stamp=1712489526&raw=0
And Debian bug report here:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1067957
Would be great if you have the cycles to look into it.
Best,
Nilesh
signature.asc
Description: PGP signature
