On Tue, Oct 7, 2014 at 11:09 PM, Bill Allombert <Bill.Allombert@math.u-bordeaux.fr> wrote:
On Mon, Oct 06, 2014 at 11:16:56AM +1100, Alasdair McAndrew wrote:
> Hello,
>
> And even more - "make test-kernel" crashes with a core dump; here is the
> complete output:
>
> Making test-kernel in Olinux-x86_64
> make[1]: Entering directory `/usr/local/src/pari-2.7.2/Olinux-x86_64'
> /usr/bin/gcc -c -I. -I../src/headers -O3 -Wall -fno-strict-aliasing
> -fomit-frame-pointer -o dummy.o ../src/test/dummy.c
> /usr/bin/gcc -c -I../src/language -I. -I../src/headers -O3 -Wall
> -fno-strict-aliasing -fomit-frame-pointer -o kerntest.o
> ../src/test/kerntest.c
> /usr/bin/gcc -I. -I../src/headers -O3 -Wall -fno-strict-aliasing
> -fomit-frame-pointer -o kerntest mpker.o mpinl.o dummy.o kerntest.o
> -lgmp -ldl -lm
> Segmentation fault (core dumped)
> KERNEL BUG
> make[1]: Leaving directory `/usr/local/src/pari-2.7.2/Olinux-x86_64'
>
> Is this a problem with GMP, and if so, is there some way I can test my
> compilation? If not, what is going on - and again, how can I run a
> complete test?
> Just to be sure, my compilation took two steps:
>
> ./Configure --tune
> make all
I would suggest first to retry without using --tune. This is the most likely
case of failure (Be sure to rename Olinux-x86_64 to something else before,
as it contains the offending tune.h file.
Other wise you can try
./Configure --kernel=none-none
Jand see
whether
make test-kernel
work better.
Cheers,
Bill.
--