paquet deb 0.9.6

[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

[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.

[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

[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?

[frederic han]

j'ai installe un debian 64 bits 0.9.6-1 depot stable
dpkg -L giac |grep tiny ne trouve rien.

[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.