Page 1 sur 1
paquet deb 0.9.6
Publié : lun. mars 05, 2012 7:30 am
par frederic han
Salut,
dans le paquet debian 0.9.6 stable, il n'y a pas tinymt32.h dans /usr/include/giac, ce qui gene les compilations.
Fred
Re: paquet deb 0.9.6
Publié : lun. mars 05, 2012 7:40 am
par parisse
salut,
je ne comprends pas pourquoi, il est pourtant declare comme les autres headers dans src/Makefile.am
On peut toujours rajouter une regle d'install manuelle mais c'est quand meme curieux.
Re: paquet deb 0.9.6
Publié : mar. mars 06, 2012 9:14 am
par frederic han
Salut,
Je ne parle que du .deb, si je compile depuis les sources tout est OK.
Dans le repertoire debian il y a aussi des Makefile, et ceux la ne contiennent pas de tinymt, c'est peut etre ca?
Fred
Re: paquet deb 0.9.6
Publié : mar. mars 06, 2012 10:12 am
par parisse
c'est bizarre, parce que le Makefile devrait etre auto-genere par configure. Tu parles de la version 32 ou 64 bits du package debian?
Re: paquet deb 0.9.6
Publié : mar. mars 06, 2012 10:24 am
par frederic han
j'ai installe un debian 64 bits 0.9.6-1 depot stable
dpkg -L giac |grep tiny ne trouve rien.
Re: paquet deb 0.9.6
Publié : mar. mars 06, 2012 11:01 am
par parisse
ok, il y a une explication alors, c'est parce que j'ecrase le Makefile du configure pour des raisons de libs statiques/dynamiques. Je vais essayer de changer le deb 64 bits.