Transition gsl dans debian sid

Utilisation de Xcas

Modérateur : xcasadmin

Répondre
guy
Messages : 18
Inscription : lun. oct. 15, 2012 12:36 pm

Transition gsl dans debian sid

Message par guy » mer. nov. 25, 2015 9:44 pm

Bonsoir,

https://release.debian.org/transitions/html/gsl.html

Le paquet giac ne s'installe plus sous debian sid (future stretch) :

Code : Tout sélectionner

libgsl2 : Est en conflit avec: libgsl0ldbl mais 1.16+dfsg-4 doit être installé.
Guy

parisse
Messages : 5734
Inscription : mar. déc. 20, 2005 4:02 pm
Contact :

Re: Transition gsl dans debian sid

Message par parisse » jeu. nov. 26, 2015 9:57 am

Il devrait suffire de recompiler le source. Je ne connais pas les numeros de version de debian, je suppose que ce n'est pas la stable actuelle? (je compile sur une debian 7 qui doit etre la stable precedente).

guy
Messages : 18
Inscription : lun. oct. 15, 2012 12:36 pm

Re: Transition gsl dans debian sid

Message par guy » jeu. nov. 26, 2015 3:45 pm

Bonsoir,

La stable actuelle : debian 8 = debian jessie. (debian 7 = wheezy = oldstable)
J'utilise debian sid, ce qui me permet d'avoir en avant première ces petits bugs :-)
Ce que j'ai fait :

Code : Tout sélectionner

wget http://www-fourier.ujf-grenoble.fr/~parisse/debian/dists/stable/main/source/giac_1.2.2-13.dsc 
wget http://www-fourier.ujf-grenoble.fr/~parisse/debian/dists/stable/main/source/giac_1.2.2-13.tar.gz
dpkg-source -x giac_1.2.2-13.dsc
cd giac-1.2.2/
dpkg-buildpackage -b -uc
sudo dpkg -i ../giac_1.2.2-13_amd64.deb
... bien sûr a refaire après chaque mise à jour des sources (en utilisant la bonne version, ici: 1.2.2-13).

Dommage que l'emplacement des sources ne respectent pas la norme debian (ubuntu, ...)
Y aurait suffit alors de faire (quelques que soit la version et la saveur (stable ou testing)):

Code : Tout sélectionner

apt-get -b source giac
dpkg -i giac_*_amd64.deb
Merci.

--
Guy

parisse
Messages : 5734
Inscription : mar. déc. 20, 2005 4:02 pm
Contact :

Re: Transition gsl dans debian sid

Message par parisse » jeu. nov. 26, 2015 4:59 pm

Ou faut-il mettre le source dans l'arborescence?

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

Re: Transition gsl dans debian sid

Message par frederic han » jeu. nov. 26, 2015 9:16 pm

Je pense que ca n'est pas un probleme de lieu, mais c'est ton fichier Sources qui est vide.
tu devrais pouvoir le mettre a jour avec un truc du genre:

Code : Tout sélectionner

dpkg-scansources dists/stable/main/source >dists/stable/main/source/Sources
(au lieu de dpkg-scanpackages)

Au fait, dans mon souvenir xcas ne compilait pas sur une debian recente s'il etait compile avec la librairie pari du paquet est ce toujours le cas?

guy
Messages : 18
Inscription : lun. oct. 15, 2012 12:36 pm

Re: Transition gsl dans debian sid

Message par guy » ven. nov. 27, 2015 9:37 am

parisse a écrit :Ou faut-il mettre le source dans l'arborescence?
Par exemple en utilisant reprepro :
https://www.isalo.org/wiki.debian-fr/Reprepro

Guy

parisse
Messages : 5734
Inscription : mar. déc. 20, 2005 4:02 pm
Contact :

Re: Transition gsl dans debian sid

Message par parisse » sam. nov. 28, 2015 8:22 am

frederic han a écrit :Je pense que ca n'est pas un probleme de lieu, mais c'est ton fichier Sources qui est vide.
tu devrais pouvoir le mettre a jour avec un truc du genre:

Code : Tout sélectionner

dpkg-scansources dists/stable/main/source >dists/stable/main/source/Sources
(au lieu de dpkg-scanpackages)
Je viens de le faire, est-ce que ca marche comme ca?

guy
Messages : 18
Inscription : lun. oct. 15, 2012 12:36 pm

Re: Transition gsl dans debian sid

Message par guy » sam. nov. 28, 2015 8:16 pm

Bonsoir,
parisse a écrit : Je viens de le faire, est-ce que ca marche comme ca?
Non.

J'ai ajouté la ligne deb-src source "stable", car l’arborescence testing
ne contient pas les sources dans les dépôts.

Code : Tout sélectionner

$ grep  deb-src /etc/apt/sources.list.d/xcas.list 
deb-src http://www-fourier.ujf-grenoble.fr/~parisse/debian/ stable main

Code : Tout sélectionner

$ aptitude update
...
W: impossible de récupérer http://www-fourier.ujf-grenoble.fr/~parisse/debian/dists/stable/main/source/Sources : Somme de contrôle de hachage incohérente
...

Code : Tout sélectionner

$ apt-get -b source giac
Lecture des listes de paquets... Fait
Construction de l'arbre des dépendances       
Lecture des informations d'état... Fait
E: Impossible de trouver une source de paquet pour giac

parisse
Messages : 5734
Inscription : mar. déc. 20, 2005 4:02 pm
Contact :

Re: Transition gsl dans debian sid

Message par parisse » dim. nov. 29, 2015 7:38 am

Fred, as-tu une idee de pourquoi ca ne marche pas ? le fichier Sources a pourtant bien l'air la

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

Re: Transition gsl dans debian sid

Message par frederic han » dim. nov. 29, 2015 1:49 pm

Ton fichier dist/stable/Release contient une ligne pour ton ancien fichier Source (celui qui etait vide):

a506df30287819aa0c7a8a74eee3bb22de5361a4a2068af2e9ac5d36f096b8fc 3860 main/source/Packages.gz
e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 0 main/source/Sources

donc il faudrait que tu le recree aussi.

parisse
Messages : 5734
Inscription : mar. déc. 20, 2005 4:02 pm
Contact :

Re: Transition gsl dans debian sid

Message par parisse » dim. nov. 29, 2015 2:30 pm

Et la, c'est bon?

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

Re: Transition gsl dans debian sid

Message par frederic han » dim. nov. 29, 2015 6:32 pm

pour moi ca marche avec ds /etc/apt/source.list

Code : Tout sélectionner

deb-src http://www-fourier.ujf-grenoble.fr/~parisse/debian/ stable main

guy
Messages : 18
Inscription : lun. oct. 15, 2012 12:36 pm

Re: Transition gsl dans debian sid

Message par guy » lun. nov. 30, 2015 9:42 pm

Bonsoir,

Pour moi c'est bon aussi. J'ai ajouté le dépôt source stable
(pas de sources pour testing) et j'ai commenté le dépôt des
binaires testing.

Voilà donc ce j'ai fait :

Code : Tout sélectionner

$ # On vérifie que les dépôts sont bien configurés :
$ cat /etc/apt/sources.list.d/xcas.list 
### giac xcas
#deb http://www-fourier.ujf-grenoble.fr/~parisse/debian/ testing main
deb-src http://www-fourier.ujf-grenoble.fr/~parisse/debian/ stable main

$ sudo aptitude update
...

$ # Installation des dépendances de compilation, si ça n'a pas été fait précédemment :
$ sudo apt-get build-dep giac
Lecture des listes de paquets... Fait
Construction de l'arbre des dépendances       
Lecture des informations d'état... Fait
0 mis à jour, 0 nouvellement installés, 0 à enlever et 118 non mis à jour.

$ # download des sources, compilation et création du paquet binaire dans le dossier /tmp
$ cd /tmp
$ apt-get -b source giac
...

$ # installation du paquet binaire fraîchement créé :
$ sudo dpkg -i giac_*.deb
(Lecture de la base de données... 660232 fichiers et répertoires déjà installés.)
Préparation du dépaquetage de giac_1.2.2-13_amd64.deb ...
Dépaquetage de giac (1.2.2-13) sur (1.2.2-13) ...
Paramétrage de giac (1.2.2-13) ...
...

$
Merci.

Répondre