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
paquet deb 0.9.6
Modérateur : xcasadmin
-
- Messages : 1137
- Inscription : dim. mai 20, 2007 7:09 am
- Localisation : Paris
- Contact :
Re: paquet deb 0.9.6
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.
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.
-
- Messages : 1137
- Inscription : dim. mai 20, 2007 7:09 am
- Localisation : Paris
- Contact :
Re: paquet deb 0.9.6
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
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
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?
-
- Messages : 1137
- Inscription : dim. mai 20, 2007 7:09 am
- Localisation : Paris
- Contact :
Re: paquet deb 0.9.6
j'ai installe un debian 64 bits 0.9.6-1 depot stable
dpkg -L giac |grep tiny ne trouve rien.
dpkg -L giac |grep tiny ne trouve rien.
Re: paquet deb 0.9.6
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.