CONFIG_DOC_PROGS
latex makeindex pdflatex dvips
sudo apt-get install texlive sudo apt-get install libreadline6-dev
Attention : 32 bits !
sudo apt-get install libgmp3-dev
./configure remake -j8 make check
18/30 failed : normal, j'ai pas installé toutes les libs
sudo make install
Pour que ça marche avec les shared objetcs (giac.so)
sudo ldconfig
giac