Xcas et Debian Wheezy

[Kexi]

Bonsoir tout le monde,
Je n'arrive pas à installer Xcas sur Debian Wheezy. Il me réclame libgmp3c2 que je ne trouve pas .
( je n'ai pas le temps de bien chercher alors si quelqu'un a une idée il me rendrait un grand service).
Merci et bon week-end.

[bvin]

Il faut aller chercher le paquet en question dans les dépôts stable de squeeze. Ça marche très bien avec wheezy (on peut aussi faire du pinning, voir debian-fr.org ou debian-facile.org pour ça).

[guy]

<EDIT> Attention, maintenant les dépôts testing de giac/xcas contiennent
les paquets libgmp3c2 et libntl-5.4.2. Il n'est donc plus utile d'ajouter
le dépot squeeze pour obtenir ces paquets. L'installation est donc beaucoup
plus simple, voilà ce qu'il suffit de copier/coller dans un terminal "root" :

Code : Tout sélectionner

cat <<EOF >> /etc/apt/sources.list
### giac xcas
deb http://www-fourier.ujf-grenoble.fr/~parisse/debian/ testing main
EOF
wget -O- "http://www-fourier.ujf-grenoble.fr/~parisse/xcas_public_key.gpg" | apt-key add -
aptitude update
aptitude install giac

Pour mémoire, l'ancienne méthode :
</EDIT>
Pour l'install de giac sur wheezy, voilà ce que je fais :
Le code ci-dessous peut-être copié/collé dans un terminal "root"
On est obligé d'ajouter les anciens dépôts squeeze du fait des
dépendances sur les paquets libgmp3c2 et libntl-5.4.2 absents de
wheezy. Le dépôt squeeze est configuré avec un pinning faible (200).
Si vous n'utilisez pas 'aptitude', vous pouvez remplacer par 'apt-get'
Biensûr sans garanties, mais ça a marché chez moi ...

Code : Tout sélectionner

cat <<EOF >> /etc/apt/sources.list

### giac xcas
deb http://www-fourier.ujf-grenoble.fr/~parisse/debian/ testing main

### debian squeeze : avec un pinning tres bas 
deb http://ftp.fr.debian.org/debian/ squeeze main
EOF

cat <<EOF >> /etc/apt/preferences
Package: *
Pin: release n=squeeze,l=debian
Pin-Priority: 200
EOF

wget -O- "http://www-fourier.ujf-grenoble.fr/~parisse/xcas_public_key.gpg" | apt-key add -
aptitude update
aptitude install giac

[guy]

Petite question au passage. Malgré l'installation de la clef, j'ai ce message
lors du "aptitude install giac" :

Code : Tout sélectionner

ATTENTION : des versions non certifiées des paquets suivants vont
être installées.

Des paquets non certifiés peuvent compromettre la sécurité de votre
système. Vous ne devriez les installer que si vous êtes certain
que c'est bien votre intention.

  giac 

Voulez-vous ignorer cet avertissement et continuer quand même ?

[parisse]

Je ne signe pas les packages testing, seulement les stable (partant de l'hypothèse que les utilisateurs de testing savent faire apt-get en ligne de commande, alors que les outils GUI des ubuntu recentes par exemple empêchent la mise à jour si le paquet n'est pas signé).
Pour les paquets manquants, le plus simple c'est peut-etre que je les ajoute (sous réserve que ça ne génère pas de conflits évidemment), c'est en 32 ou 64 bits?

[guy]

Dans wheezy, les deux paquets (libgmp3c2 et libntl-5.4.2) manquent pour toutes les archi
(dont i386 et amd64).

Par contre, il y a dans wheezy deux nouveaux paquets qui semblent être des versions
plus récentes mais sans doute pas totalement compatibles.
Ces nouveaux paquets ne semblent pas en conflits avec ceux de squeeze. On peut
très bien les installer en même temps dans une wheezy.

Voici qq infos sur ces 2 nouveaux paquets:

libgmp10 : qui fournit /usr/lib/x86_64-linux-gnu/libgmp.so.10.0.5
et un lien /usr/lib/x86_64-linux-gnu/libgmp.so.10

Code : Tout sélectionner

$ apt-cache show libgmp10
Package: libgmp10
Source: gmp
Version: 2:5.0.5+dfsg-2
Installed-Size: 492
Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Architecture: amd64
Depends: libc6 (>= 2.7)
Pre-Depends: multiarch-support
Description-fr: Bibliothèque arithmétique à multi-précision
 GNU MP est une bibliothèque pour les programmes nécessitant une
 arithmétique à précision arbitraire (c’est-à-dire un paquet pour gérer les
 grands nombres). Elle peut travailler avec des entiers signés, des
 rationnels et des nombres à virgule flottante.
 .
 Elle possède un grand nombre de fonctions, et les fonctions ont une
 interface normalisée.
Multi-Arch: same
Homepage: http://gmplib.org/
Description-md5: cf6b3a218331a8f680398794acac47a0
Tag: field::mathematics, implemented-in::c, role::shared-lib, suite::gnu
Section: libs
Priority: optional
Filename: pool/main/g/gmp/libgmp10_5.0.5+dfsg-2_amd64.deb
...

libntl0 : qui fournit /usr/lib/libntl.so.0.1.0
et un lien /usr/lib/libntl.so.0

Code : Tout sélectionner

$ apt-cache show libntl0
Package: libntl0
Source: ntl
Version: 5.5.2-2
Installed-Size: 2071
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Architecture: amd64
Depends: libc6 (>= 2.4), libgcc1 (>= 1:4.1.1), libgmp10, libstdc++6 (>= 4.2.1)
Description-en: Number Theory Library, shared library
 NTL is a high-performance, portable C++ library providing
 data structures and algorithms for manipulating signed,
 arbitrary length integers, and for vectors, matrices,
 and polynomials over the integers and over finite fields.
 .
 This package contains the NTL shared library.
Homepage: http://www.shoup.net/ntl/
Description-md5: 383c92c19d092a80953746295da6b389
Tag: role::shared-lib
Section: libs
Priority: optional
Filename: pool/main/n/ntl/libntl0_5.5.2-2_amd64.deb
Size: 791514
...

Pour ubuntu, c'est un peu la même chose. Mais les anciens paquets sont encore
présents dans 12.04. libntl-5.4.2 disparaît de 12.10. Pour les nouveaux paquets,
libntl0 arrive avec 12.10 et libgmp10 est là depuis 11.10.

[parisse]

j'ai rajoute les paquets pour l'instant dans testing, j'espere que ca marche

[guy]

Je viens de tester sur une sid et une wheezy en amd64. Pas de problèmes ça marche bien.

Sur une ubuntu precise en amd64 (installée en schroot sur une debian) ça marche aussi
très bien, mais ce sont les paquets libgmp3c2 et libntl-5.4.2 des dépôts ubuntu qui sont
installés (compte tenu des numéros de version car je n'ai pas touché au pinning).

Je vais corriger de ce pas mon mail initial qui devient obsolète ...

Ce week-end je testerai sur la wheezy i386 de mon fils ...
[EDIT] fonctionne bien sur wheezy i386 [/EDIT]

[guy]

Bonsoir,

Je constate sur ma debian sid que lorsque je fais une mise à jour générale avec :

Code : Tout sélectionner

aptitude update; aptitude upgrade

giac veut quasi systématiquement se mettre à jour.
Il n'y a pourtant pas de raison apparente car c'est la dernière version qui est installée.
Voilà l'illustration de ce petit problème :

Code : Tout sélectionner

~$ apt-cache policy giac
giac:
  Installé : 1.0.0-1
  Candidat : 1.0.0-1
 Table de version :
     1.0.0-1 0
        500 http://www-fourier.ujf-grenoble.fr/~parisse/debian/ testing/main amd64 Packages
 *** 1.0.0-1 0
        100 /var/lib/dpkg/status

$ sudo aptitude upgrade
Résolution des dépendances…                   
Les NOUVEAUX paquets suivants vont être installés : 
  fonts-lmodern{a} gnome-accessibility-themes{a} gnome-themes-standard-data{a} 
Les paquets suivants seront mis à jour : 
  bridge-utils coreutils giac gnome-themes-standard lmodern mendeleydesktop python-apt python-apt-common 
Les paquets suivants sont RECOMMANDÉS mais ne seront pas installés :
  libqt4-webkit 
8 paquets mis à jour, 3 nouvellement installés, 0 à enlever et 1 non mis à jour.
Il est nécessaire de télécharger 101 Mo d'archives. Après dépaquetage, 460 ko seront utilisés.
Voulez-vous continuer ? [Y/n/?] Y
ATTENTION : des versions non certifiées des paquets suivants vont
être installées.

Des paquets non certifiés peuvent compromettre la sécurité de votre
système. Vous ne devriez les installer que si vous êtes certain
que c'est bien votre intention.

  giac 

Voulez-vous ignorer cet avertissement et continuer quand même ?
Pour continuer, entrer « Oui ». Pour interrompre l'installation, entrer « Non » 

giac ne figure pas dans la liste initiale des paquets à installer.
Mais n'empêche qu'il va se réinstaller malgré tout ...

Guy

[parisse]

Je pense que c'est normal car la 1.0 de giac est actuellement sur testing, et je fais des mises a jour tres frequentes (2 cette semaine par exemple).

[guy]

Dans ce cas, si l'upstream n'est pas modifié, ne faudrait-il pas incrémenter à chaque fois le numéro de version "debian" (ce qui est après le tiret 1.0.0-2, 1.0.0-3, ...) ?
(avec la commande dch -i ou autre pour rajouter une entrée dans le debian/changelog). Je crois que c'est à cela qu'il sert ...
Guy

[parisse]

Je ne trouve pas de commande dch sur les machines où je crée les deb. S'il existe une commande simple pour changer le numéro après la version, c'est effectivement intéressant, sinon c'est trop lourd de changer de version à chaque fois...

[guy]

Je ne trouve pas de commande dch sur les machines où je crée les deb. S'il existe une commande simple pour changer le numéro après la version, c'est effectivement intéressant, sinon c'est trop lourd de changer de version à chaque fois...

$ dpkg -S `which dch`
devscripts: /usr/bin/dch

Donc il suffit d'installer le paquet devscripts (apt-get install devscripts)
puis ensuite de taper la commande :
$ dch -i "Explication des changements"
qu'il faut faire après un cd "vers l'arborescence du package"

Sinon il est possible de changer à la main le fichier debian/changelog mais
c'est beaucoup moins simple car il ne faut pas se tromper ...

[parisse]

Merci, il faudra que j'essaie, peut-on gérer deux répertoires debian (debian et debianold chez moi qui correspondent au paquet tout en un ou au paquet devel à part)?
En fait, ce serait sans doute pas mal que quelqu'un qui connait bien le système de packaging debian vérifie les répertoires debian et debianold de giac...

[frederic han]

Actuellement sur debian stable courante, (et aussi ubuntu 14.04)
le paquet giac stable ne s'installe pas pour cause de libgmp3c2 manquante, meme si l'on peut le recuperer dans l'archive testing ca commence a devenir genant alors que c'est un peu inutile de compiler avec libgmp3. Ca ne serait pas plus logique de faire une archive pour les vieilles debian a part (ex debianold) et de mettre dans stable et testing des paquets pour distributions courantes?

Il y a aussi la possibilite des ppa qu'en penses tu? ca pourrait etre un moyen d'avoir les ubuntu sans soucis? je suis en train de faire des essais sur launchpad pour avoir des constructions de paquets ubuntu faites par leur serveurs.

Fred