Installation ubuntu

[vincent.d.a]

Bonjour,
J'ai installé xcas sur deux pc sous ubutu, sur un ça va mais sur l'autre le mod graphique ne fonction pas, j'ai le message:

der-aprahamian@deraprahamian-Pavilion-ze5200:~$ xcas
// Using locale /usr/share/locale/
// fr_FR.utf8
// /usr/share/locale/
// giac
// UTF-8
GSL error handler off

*** segmentation fault: bug in PARI or calling program.
Erreur de segmentation
der-aprahamian@deraprahamian-Pavilion-ze5200:~$

Je ne sais pas résoudre ce problème avec gsl qui est pourtant installé.
Merci de m'aider si vous pouvez
Vincent

[parisse]

ça n'a rien à voir avec GSL, mais peut-etre avec la lecture du fichier de configuration, essayez de faire
rm ~/.xcasrc
puis relancez xcas pour voir si ça plante toujours.

[vincent.d.a]

Le fichier n'est pas présent dans aucun dossier.
J'ai refait plusieurs fois l'installation mais le problème persiste pour l'instant.
Vincent

[parisse]

bizarre. C'est peut-etre la création de ce fichier qui pose problème. Essayez si
icas
se lance normalement.
Si oui, essayez de créer un fichier .xcasrc vide
touch ~/.xcasrc

[vincent.d.a]

ça n'a pas marché pour l'instant.
Merci tout de même. Je vais prendre les sources pour voir ce qu'il se passe dès que j'ai le temps.

[parisse]

Vous pourriez peut-etre essayer de lancer xcas depuis gdb, et afficher le backtrace de l'erreur de segmentation, ça nous donnera des indications sur le problème.

[vincent.d.a]

gdb xcas
GNU gdb (GDB) 7.2-ubuntu
Copyright (C) 2010 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law. Type "show copying"
and "show warranty" for details.
This GDB was configured as "i686-linux-gnu".
For bug reporting instructions, please see:
<http://www.gnu.org/software/gdb/bugs/>...
Reading symbols from /usr/bin/xcas...(no debugging symbols found)...done.
(gdb) run
Starting program: /usr/bin/xcas
[Thread debugging using libthread_db enabled]
// Using locale /usr/share/locale/
// fr_FR.utf8
// /usr/share/locale/
// giac
// UTF-8
GSL error handler off
Program received signal SIGSEGV, Segmentation fault.
0x012125a0 in XF86DRIQueryExtension () from /usr/lib/fglrx/libGL.so.1
(gdb)




D'autre part en essayant de compiler j'ai une erreur sur le fichier derive.cc:
src/derive.cc: In function ‘giac::gen giac::derive_SYMB(const giac::symbolic&, const giac::identificateur&, const giac::context*)’:
src/derive.cc:127: error: ‘at_rootof’ was not declared in this scope

[parisse]

Ca semble etre un problème lié à la configuration de X11:
0x012125a0 in XF86DRIQueryExtension () from /usr/lib/fglrx/libGL.so.1
Il faudrait peut-etre essayer de configurer X11 autrement, par exemple avec framebuffer, sans accélération matérielle, ... mais je ne pense pas qu'on puisse faire quoi que ce soit coté xcas.

[vincent.d.a]

Merci maintenant ça marche. Et en plus j'ai appris à utiliser gdb

[fadeb]

Bonjour,
J'ai exactement le même problème sous Debian Squeeze.

Code : Tout sélectionner

  
$ gdb xcas
GNU gdb (GDB) 7.0.1-debian
Copyright (C) 2009 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.  Type "show copying"
and "show warranty" for details.
This GDB was configured as "i486-linux-gnu".
For bug reporting instructions, please see:
<http://www.gnu.org/software/gdb/bugs/>...
Reading symbols from /usr/bin/xcas...(no debugging symbols found)...done.
(gdb) run
Starting program: /usr/bin/xcas 
[Thread debugging using libthread_db enabled]
// Using locale /usr/share/locale/
// fr_FR.utf8
// /usr/share/locale/
// giac
// UTF-8
GSL error handler off

Program received signal SIGSEGV, Segmentation fault.
0x081c98da in ?? ()
(gdb) 

Je précise que giac se lance sans problème :

Code : Tout sélectionner

$ giac
// Using locale /usr/share/locale/
// fr_FR.utf8
// /usr/share/locale/
// giac
// UTF-8
// Maximum number of parallel threads 2
// Using keyword file /usr/share/giac/doc/fr/keywords
Help file /usr/share/giac/doc/fr/aide_cas not found
Added 160 synonyms
Welcome to giac readline interface
(c) 2001,2009 B. Parisse & others
Homepage http://www-fourier.ujf-grenoble.fr/~parisse/giac.html
Released under the GPL license 3.0 or above
See http://www.gnu.org for license details
-------------------------------------------------
Press CTRL and D simultaneously to finish session
Type ?commandname for help
0>> 

idem pour icas

Code : Tout sélectionner

$ icas
// Using locale /usr/share/locale/
// fr_FR.utf8
// /usr/share/locale/
// giac
// UTF-8
// Maximum number of parallel threads 2
// Using keyword file /usr/share/giac/doc/fr/keywords
Help file /usr/share/giac/doc/fr/aide_cas not found
Added 160 synonyms
Welcome to giac readline interface
(c) 2001,2009 B. Parisse & others
Homepage http://www-fourier.ujf-grenoble.fr/~parisse/giac.html
Released under the GPL license 3.0 or above
See http://www.gnu.org for license details
-------------------------------------------------
Press CTRL and D simultaneously to finish session
Type ?commandname for help
0>> 

Pouvez-vous m'aider à régler le problème svp ?
Merci d'avance.

[parisse]

malheureusement, ici on n'a aucune indication de la fonction fautive dans gdb. Si vous savez faire, il faudrait compiler xcas vous-même avec export CXXFLAGS='-g' avant d'appeler ./configure pour avoir les symboles de mise au point.

[fadeb]

Merci de votre réponse M. Parisse.
Malheureusement non, donc je n'ai d'autre choix que de laisser tomber.
Bonne journée.

[parisse]

Avant de laisser tomber, peut-etre pourriez-vous essayer une distribution live (par exemple la prochaine ubuntu qui devrait sortir ce mois-ci) et voir si en installant le package depuis une clef USB, le probleme persiste ou pas. Si ça marche c'est probablement une mauvaise reconnaissance de la carte graphique par votre distribution actuelle.

[fadeb]

non, le problème ne vient pas de ma carte graphique, puisque j'arrive à le lancer en root (j'ai bien l'interface graphique et tout fonctione).

[parisse]

Si vous arrivez a le lancer en tant que root, il y a certainement un problème de librairies. Essayez
which xcas
puis ldd chemin_vers_xcas
pour les 2 modes (user et root). Recherchez vers quoi pointe libgiac et libxcas.