Compilation giac Debian Wheezy

Librairie C++ de calcul formel/ C++ symbolic computation library

Modérateur : xcasadmin

Dominique MICOLLET
Messages : 52
Inscription : jeu. janv. 11, 2007 10:39 am
Localisation : Université de Bourgogne - France

Compilation giac Debian Wheezy

Message par Dominique MICOLLET » mer. déc. 10, 2014 8:50 am

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]
Cordialement

Dominique MICOLLET

frederic han
Messages : 1137
Inscription : dim. mai 20, 2007 7:09 am
Localisation : Paris
Contact :

Re: Compilation giac Debian Wheezy

Message par frederic han » mer. déc. 10, 2014 3:30 pm

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

Répondre