Cher Jean-Guillaume,
Thanks for your answer.
I compiled again but was not able to reproduce the error (i.e. the
test suite passes)! No idea how I can reproduce it... maybe restart
compiling Sage from scratch. I will try to see if I can setup the
environment to make it reproducible.
Vincent
2014-06-17 16:03 UTC+02:00, Jean-Guillaume Dumas <jean-guillaume.du...@imag.fr>:
> On 17/06/2014 15:48, Vincent Delecroix wrote:
>> Hi,
>>
>> I tried to build sage on a core i7 running ubuntu 14.04 with
>> MAKE="make -j6" and SAGE_CHECK="yes" and it stops in a the testsuite
>> of givaro:
>>
>> ...
>> incoherency between normal :
>> 1027546041851079575537037689256646552061077217898017376 and fixed :
>> 239713952514098819656177342917934530562603654391014702016677331
>> /bin/bash: line 5: 8591 Segmentation fault ${dir}$tst
>> FAIL: test-crt
>> ...
>>
>> I cced Jean-Guillaume Dumas as was explicitely written. Is it a known
>> problem? The complete log is available at
>> http://www.labri.fr/perso/vdelecro/givaro-3.7.1.log
>>
>> Vincent
>>
> Dear Vincent,
> no it is not a known problem.
> I cannot reproduce this bug on my machine neither with 3.7.1, nor with
> the lastest svn version.
>
> Would it be possible for you to try recompiling test-crt replacing
> givaro flags "-DNDEBUG -UGIVARO_DEBUG -UDEBUG" by "-DGIVARO_DEBUG
> -DDEBUG" and send me the output ?
>
> Best regards,
>
> --
> Jean-Guillaume Dumas.
> ____________________________________________________________________
> jean-guillaume.du...@imag.fr Tél.: +33 476 514 866
> Professeur, Université de Grenoble. Fax.: +33 476 631 263
> Laboratoire Jean Kuntzmann, Mathématiques Appliquées et Informatique
> 51, avenue des Mathématiques. LJK/IMAG - BP53. 38041 Grenoble FRANCE
> http://ljk.imag.fr/membres/Jean-Guillaume.Dumas
> ____________________________________________________________________
>
>
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
