Compilation sous Debian unstable i386

[pini]

Bonjour,

J'ai dans l'idée de faire une nouvelle tentative pour packager officiellement giac/xcas sous Debian. J'en suis pour l'instant au dégrossissage et je n'ai posté encore aucune annonce officielle. Si je vois que ça peut aboutir je réactiverai l'TP (Intent To Package) #155057 initial puis je pousserai le processus.

Je n'ai trouvé aucune info sur les raisons du non-aboutissement de la tentative initiale de Carlos. Toute info sur le sujet serait bienvenue

Pour l'instant je préfère repartir de zéro car les outils Debian ont significativement évolué depuis 2005. Mon travail est disponible en ligne via le dépôt Git sur alioth.debian.org. En l'état actuel aucun paquet n'est produit.

Je rencontre maintenant ma première difficulté technique : les tests lancés à l'issue de la compilation échouent. Ou plutôt 4 test sur 7. Je voulais joindre la trace de compilation (fichier .build) mais le forum refuse de l'importer Il est disponible ici. Voir en toute fin de fichier les messages relatifs aux tests échoués. Les recherches internet sur ces erreurs ne donnent rien qui me semble pertinent. Quelqu'un ici a-t-il une idée de l'origine du problème ?

Merci par avance pour votre aide.

_Gilles.

[parisse]

bonjour,

voila qui serait une excellente chose!
Bon, il y a une partie des erreurs du test qui viennent de la configuration de xcas et une partie des librairies qui ne sont pas installees. Les tests supposent que NTL et MPFR sont installes cequi ne semble pas le cas chez vous, et supposent aussi cette config dans .xcasrc
cas_setup(0,0,0,1,0,[1e-10,1e-17],12,[1,50,0,25],0,0,0),xcas_mode(0);
xyztrange(-10.0,10.0,-10.0,10.0,-10.0,10.0,-10.0,10.0,-10.0,10.0,-1.4,1.1,1,0.0,
1.0,1);
Il y a quelques erreurs qui n'en sont en fait pas (ordre different ou generateur aleatoire), je vais modifier le source pour qu'ils ne provoquent plus d'erreurs au moins chez moi. Il vous faudra peut-etre quand meme faire des modifs dans le repertoire check en recopiant le fichier .tst dans le fichier .out puis make dist.

[pini]

Bon, il y a une partie des erreurs du test qui viennent de la configuration de xcas et une partie des librairies qui ne sont pas installees. Les tests supposent que NTL et MPFR sont installes cequi ne semble pas le cas chez vous

J'ai refait le test en spécifiant les packages -dev pour NTL et MPFR en Build-Depends. Ces librairies semblent maintenant correctement détectées lors du ./configure mais ça ne performe pas beaucoup mieux côté cas-test : toujours 4 échecs sur 7. A noter que je n'ai pas encore pu spécifier la config comme indiqué ci-dessous. Ceci explique peut-être cela.

et supposent aussi cette config dans .xcasrc
cas_setup(0,0,0,1,0,[1e-10,1e-17],12,[1,50,0,25],0,0,0),xcas_mode(0);
xyztrange(-10.0,10.0,-10.0,10.0,-10.0,10.0,-10.0,10.0,-10.0,10.0,-1.4,1.1,1,0.0,1.0,1);

Existe-t-il une option permettant d'utiliser un autre fichier de config que ~/.xcasrc ? En effet, la construction du paquet Debian est effectuée dans un chroot et ne doit en principe pas dépendre de $HOME.

Il y a quelques erreurs qui n'en sont en fait pas (ordre different ou generateur aleatoire), je vais modifier le source pour qu'ils ne provoquent plus d'erreurs au moins chez moi. Il vous faudra peut-etre quand meme faire des modifs dans le repertoire check en recopiant le fichier .tst dans le fichier .out puis make dist.

C'est noté. Merci de me faire signe quand ces nouveaux fichiers seront disponibles.

Merci,

_Gilles.

[parisse]

Existe-t-il une option permettant d'utiliser un autre fichier de config que ~/.xcasrc ? En effet, la construction du paquet Debian est effectuée dans un chroot et ne doit en principe pas dépendre de $HOME.

Je vais plutot recopier les 2 lignes du .xcasrc dans les fichiers de tests, ce sera plus sur. Je reposte quand j'ai une archive ok (à propos c'est bien la 0.8.4?)

[parisse]

Voila, la 0.8.4 est a jour

[pini]

(à propos c'est bien la 0.8.4?)

Oui, oui.

Merci,

_Gilles.

[pini]

On progresse

Plus que 2 tests en échec sur 7 :

Code : Tout sélectionner

make  check-TESTS
make[3]: Entering directory `/tmp/buildd/giac-0.8.4-dfsg1/check'
Help file aide_cas not found
Added 0 synonyms

Warning, integration of abs or sign assumes constant sign by intervals (correct if the argument is real):
Check Vector [abs(ln(x^2))]
Discontinuities at zeroes of ln(x^2) were not checked
35,36c35,36
< 2/3*asin(36*sqrt(x)*x/3/sqrt(144*abs(a)^3)),
< sqrt(a-x)*sqrt(-a+x+a)-2*a/2*asin(2*sqrt(a-x)/sqrt(4*abs(a))),
---
> 4*asin(36*sqrt(x)*x/3/sqrt(144*abs(a)^3))/2/3,
> sqrt(a-x)*sqrt(-a+x+a)-4*a*asin(2*sqrt(a-x)/sqrt(4*abs(a)))/4,
FAIL: chk_integrate
Help file aide_cas not found
Added 0 synonyms

Evaluation time: 0.86
PASS: chk_factor
Help file aide_cas not found
Added 0 synonyms

Evaluation time: 0.6
Evaluation time: 3.53
SPMOD 11010000
SPMODend 11010000
Evaluation time: 38.61
PASS: chk_normalize
Help file aide_cas not found
Added 0 synonyms

PASS: chk_partfrac
Help file aide_cas not found
Added 0 synonyms

PASS: chk_limit
Help file aide_cas not found
Added 0 synonyms
// Success

Evaluation time: 1.8
Evaluation time: 1.79
150c150
< [-12,10],
---
> [8,10],
153c153
< 2,
---
> 1,
193c193
< [-5.0,-3.0,2.0,4.0],
---
> [-5,-3.0,2.0,4],
FAIL: chk_cas
Help file aide_cas not found
Added 0 synonyms

"medianes"
"mediatrices"
"bissectrices"
SPMOD 80000
SPMODend 80000
"Napoleon theorem"
"Feuerbach theorem"
"teste que le pied de la altitude est sur c de 2 facons, doit renvoyer 1 puis 0"
"circle incircle de A,B,C, center"
"Le prochain resultat doit etre 0"
"theoreme de Simson"
SPMOD 380000
SPMODend 380000
Variable x should be purged
Variable y should be purged
"Morley theorem"
Evaluation time: 0.62
PASS: chk_geo
===================
2 of 7 tests failed
===================

Une idée ?

Merci,

_Gilles.

[parisse]

Ce sont des expressions équivalentes, sauf pour
150c150
< [-12,10],
---
> [8,10],
qui est quand meme équivalent (-12 mod 10=8 mod 10)

153c153
< 2,
---
> 1,
Celui-la vient du support pour PARI qui ne doit pas être intégré chez vous.
Ce sont donc des erreurs qui peuvent être ignorées (en copiant integrate.tst dans integrate.out et cas.tst dans cas.out pour recréer l'archive si c'est nécessaire que make check finisse sans erreur ou peut-etre plus simplement en ajustant un flag?).

[pini]

support pour PARI qui ne doit pas être intégré chez vous.

Je dois pouvoir rajouter ça.

Ce sont donc des erreurs qui peuvent être ignorées (en copiant integrate.tst dans integrate.out et cas.tst dans cas.out pour recréer l'archive si c'est nécessaire que make check finisse sans erreur ou peut-etre plus simplement en ajustant un flag?).

Debian supportant un douzaine d'architectures, je suppose qu'on peut s'attendre à des résultats différents sur certaines d'entre elles. Et dans ce cas, comment faire le tri entre les écarts acceptables et les autres ? Je vais réfléchir à tout ça...

Merci,

_Gilles.

[pini]

Code : Tout sélectionner

==================
All 7 tests passed
==================

Moyennant l'ajout d'une dépendance à libpari-dev et patch des fichiers .out des deux cas tests pour lequels les résultats - bien que différents - sont équivalents.

Merci,

_gilles.

[parisse]

Oui, il faudrait que je modifie un peu les tests pour qu'ils soient moins dependants de formes equivalentes...