Bug#835743: z3: FTBFS: ../src/util/mpz.cpp:137:8: error: call of overloaded 'set(mpz&, long unsigned int)' is ambiguous

2016-09-26 Thread Gianfranco Costamagna
Hi, > thanks for the patches! > (feel free to ping directly in case of RC bug fixes if you need a sponsor!) > at the end I'm uploading it with a new couple of casts (and patches forwarded upstream). I hope I did the cast correctly, the build is fine now. G. diff -Nru z3-4.4.1/debian/changelog

Bug#835743: z3: FTBFS: ../src/util/mpz.cpp:137:8: error: call of overloaded 'set(mpz&, long unsigned int)' is ambiguous

2016-09-25 Thread Gianfranco Costamagna
Control: tags -1 +pending On Wed, 14 Sep 2016 18:20:38 +0200 Fabian Wolff wrote: > Control: tags -1 + upstream patch fixed-upstream > Hi, the following debdiff is being build-tested and uploaded on deferred/2 thanks for the patches! (feel free to ping directly in case of

Bug#835743: z3: FTBFS: ../src/util/mpz.cpp:137:8: error: call of overloaded 'set(mpz&, long unsigned int)' is ambiguous

2016-09-14 Thread Fabian Wolff
Control: tags -1 + upstream patch fixed-upstream Hi, the following patch fixes this issue: --- a/src/util/mpz.cpp +++ b/src/util/mpz.cpp @@ -134,7 +134,7 @@ #endif mpz one(1); -set(m_two64, UINT64_MAX); +set(m_two64, static_cast(UINT64_MAX)); add(m_two64, one, m_two64);

Bug#835743: z3: FTBFS: ../src/util/mpz.cpp:137:8: error: call of overloaded 'set(mpz&, long unsigned int)' is ambiguous

2016-08-28 Thread Lucas Nussbaum
Source: z3 Version: 4.4.1-0.2 Severity: serious Tags: stretch sid User: debian...@lists.debian.org Usertags: qa-ftbfs-20160828 qa-ftbfs Justification: FTBFS on amd64 Hi, During a rebuild of all packages in sid, your package failed to build on amd64. Relevant part (hopefully): > make[2]: