Page 1 sur 1

sources ds debian repo

Publié : mer. mai 18, 2016 12:17 pm
par frederic han
Salut bernard,

dans ton depot debian:
http://www-fourier.ujf-grenoble.fr/~pa ... n/source/
les sources 1.2.2-35 a 1.2.2-45 sont beaucoup plus gros.

je constate sur la 1.2.2-45 qu'ils contiennent en plus des src/javagiac* dont des binaires linux:
javagiac_linux32.tgz et 64.tgz

c'est une erreur?

Re: sources ds debian repo

Publié : mer. mai 18, 2016 12:33 pm
par parisse
oui c'est une erreur, je la corrigerai avec la prochaine mise a jour.

Re: sources ds debian repo

Publié : jeu. mai 19, 2016 1:14 pm
par parisse
ca devrait etre bon (j'ai juste supprime les librairies linux pour java des sources, autant laisser le reste qui ne prend pas tant de place que ca)

Re: sources ds debian repo

Publié : ven. mai 20, 2016 8:34 am
par parisse
attention, la 1.2.2-47 a une optimisation invalide, je viens de la retirer et je la remplace dans quelques instants par la 1.2.2-49.

Re: sources ds debian repo

Publié : ven. mai 20, 2016 5:21 pm
par frederic han
Pas de problemes, actuellement antonio package la 45:
https://bugzilla.redhat.com//show_bug.cgi?id=1335988
(il a fait le menage des javagiac*)