Page 1 sur 1

Compilation giac Debian Wheezy

Publié : mer. déc. 10, 2014 8:50 am
par Dominique MICOLLET
Bonjour,

Pour info : la compilation de giac avec la version standard de g++ (4.7.2-5) en Debian Wheezy échoue sur une [i]internal compiler error[/i] par [i]segmentation fault[/i] sur [b]src/prog.cc[/b].

Cela se produit aussi bien pour la version stable actuelle de giac (1.1.2) qu'une ancienne version (0.9.8) .

C'est un bug du compilateur, qu'on peut contourner en otant l'option -O2 dans les [i]Makefile[/i]

Re: Compilation giac Debian Wheezy

Publié : mer. déc. 10, 2014 3:30 pm
par frederic han
oui c'est un bug connu de gcc-4.7.2 en 64 bits.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54986
il est resolu dans les versions plus recentes.

Mais il vaut mieux le contourner en installant en plus une autre version de gcc. Sous debian stable on peut installer en plus du gcc par defaut par exemple gcc-4.6
puis ajuster les variables CC CPP CXX avant fe compiler