Hi Simon, I thought that I replied from my other email address to this issue, but I just checked and wasn't able to find it, so apologies if you get this twice.
This is not an issue I have been previously aware of. It will get sorted when we do testing for Cygwin64, but just in case it is something that only occurs on your architecture, would you mind telling us the output of running ./config.guess in the top level of the mpir source tree on your machine. Could you also send us the contents of tests/mpn/t-lorrshift1.log, if it contains anything after running make check. This information might help us track down the issue. It's still quite possible that it's a toolchain bug though. I'll open a ticket now for this issue so it definitely gets sorted. Bill. On 28 February 2015 at 17:55, Simon Sobisch <simonsobi...@gmail.com> wrote: > Tested with current cygwin64. The test log currently only contains: > > ========================================== > MPIR 2.7.0: tests/mpn/test-suite.log > ========================================== > > 1 of 47 tests failed. > > .. contents:: :depth: 2 > > > FAIL: t-lorrshift1.exe (exit: 139) > ================================== > > make check doesn't gave more hints how to report a bug :-( > > -- > You received this message because you are subscribed to the Google Groups > "mpir-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to mpir-devel+unsubscr...@googlegroups.com. > To post to this group, send email to mpir-devel@googlegroups.com. > Visit this group at http://groups.google.com/group/mpir-devel. > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "mpir-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to mpir-devel+unsubscr...@googlegroups.com. To post to this group, send email to mpir-devel@googlegroups.com. Visit this group at http://groups.google.com/group/mpir-devel. For more options, visit https://groups.google.com/d/optout.