Discussion related to cado-nfs

[Zimmermann Paul <Paul.Zimmermann@inria.fr>]

> Date: Tue, 30 Jul 2013 09:53:23 +1000
> From: Shi Bai <shih.bai@gmail.com>
> 
> Dear Meng,
> 
> > I noticed that in the output of gdb, there exists one strange sentence
> > "# Compiled with gcc 4.1.2 20080704 (Red Hat 4.1.2-52)"
> > My gcc now is gcc-4.4.6. Maybe cmake is compiled by gcc4.1.2? Or something
> > in make is set to old gcc? Anyway I will remake the cmake and check the
> > result.
> It seems that the las is still compiled by gcc 4.1.2. Have you set the 
> options
> 
> CC=
> and
> CXX=
> 
> to gcc-4.4 (and g++-4.4) in the file "local.sh"?
> 
> Best,
> Shi

yes this is most probably the reason of the failure you get.

Paul Zimmermann