Installation de Giac sur le serveur alwaysdata.net

[magicvinni]

Bonjour,

Tout est dans le titre : je cherche pour un projet installer giac sur un serveur alwaysdata de manière à pouvoir ensuite faire des requetes en Python ou Php. Je ne peux pas déployer le .deb car il manque trop de biliothèques alors je voulais recompiler. Voila où j'en suis :

Config de la machine :

PRETTY_NAME="Debian GNU/Linux 12 (bookworm)"
NAME="Debian GNU/Linux"
VERSION_ID="12"
VERSION="12 (bookworm)"
VERSION_CODENAME=bookworm
ID=debian
HOME_URL="https://www.debian.org/"
SUPPORT_URL="https://www.debian.org/support"
BUG_REPORT_URL="https://bugs.debian.org/"

J'ai récupéré ces sources :

mkdir -p ~/src
cd ~/src
wget https://www-fourier.univ-grenoble-alpes ... 9.1.tar.gz
tar -xvzf giac-0.9.1.tar.gz
cd giac-0.9.1

Ensuite j'ai tenté un

make -j$(nproc)

Et là j'ai pas mal d'erreur, voici le fichier de log : https://automathx.alwaysdata.net/build.log

Merci de votre aide,

Vincent

[parisse]

Attention, 0.9.1 n'est pas une version de giac à jour (depuis fort longtemps...), il faut donc récupérer

Code : Tout sélectionner

wget https://www-fourier.univ-grenoble-alpes.fr/~parisse/giac/giac-2.0.0.tar.gz
tar xfa giac-2.0.0.tar.gz
cd giac-2.0.0 

Si vous avez les droits d'écriture sur /usr/local:
./configure
sinon
./configure --prefix=chemin
puis:
make
et si la compilation s'est bien passée:
make install
Vous pouvez aussi tenter de lancer le script ./mkdebian si votre serveur a les packages qui permettent de créer un package debian. Cela permet de créer un package debian adapté à la configuration de votre serveur.

[magicvinni]

Merci, alors avec la bonne version voici où j'en suis :

automathx@ssh1:~/giac-2.0.0$ ./mkdebian
/bin/rm: cannot remove 'libmicropython.a': No such file or directory
/bin/rm: cannot remove 'micropython-1.12/xcas/libmicropython.a': No such file or directory
/bin/rm: cannot remove 'doc/en/cascmd_en.ps': No such file or directory
/bin/rm: cannot remove 'doc/en/cascmd_en.dvi': No such file or directory
make: *** No rule to make target 'clean'. Stop.
dpkg-buildpackage: info: source package giac
dpkg-buildpackage: info: source version 2.0.0-21
dpkg-buildpackage: info: source distribution stable
dpkg-buildpackage: info: source changed by B. Parisse from Carleos Artime <carleos@pinon.ccu.uniovi.es>
dpkg-buildpackage: info: host architecture amd64
dpkg-source --before-build .
dpkg-checkbuilddeps: error: Unmet build dependencies: debhelper
dpkg-buildpackage: warning: build dependencies/conflicts unsatisfied; aborting
dpkg-buildpackage: warning: (Use -d flag to override.)

Et ensuite j'ai tenté :

./configure --prefix=$HOME/local
make -j$(nproc) &> build1.log

le fichier de log est ici : https://automathx.alwaysdata.net/build1.log

[parisse]

il manque debhelper, donc impossible de faire un package debian.

L'erreur ensuite est étrange, car l'include est protégé par un #ifdef
#ifdef HAVE_LIBFLTK
#include <FL/Enumerations.H>
#else ...
donc ici HAVE_LIBFLTK est défini, mais ensuite il ne trouve pas le fichier FL/Enumerations.H, ce qui est contradictoire.

Une solution pour contourner, ce serait de configurer en ajoutant l'option --disable-gui pour voir si ça compile.

[magicvinni]

Après un

make distclean 2>/dev/null
./configure --prefix=$HOME/local --disable-gui
make -j1 2>&1 | tee build2.log

J'ai https://automathx.alwaysdata.net/build2.log

[magicvinni]

ça y est !!!



Un grand merci ! Pour info, j'ai dû faire un :

automathx@ssh1:~/local$ make CPPFLAGS="-I/home/automathx/giac-2.0.0/fltk-1.3.8" -j1

[parisse]

Très bien! Mais du coup, il doit y avoir une erreur dans le script de configuration, si il compile fltk, il devrait ajouter l'include automatiquement, il faudra que je reteste quand j'aurai du temps (malheureusement j'ai beaucoup de taches en attente plus prioritaires...)