Gaol : NOT Just Another Interval Library

Gaol est une bibliothèque C++ développée par Frederic Goualard pour l'arithmétique des intervalles.

Il n'existe pas de dépôt pour cette bibliothèque. Ce tutoriel explique comment l'installer à partir des sources.

Avoir téléchargé les archives de gdtoa, mathlib et gaol sur sourceforge :

• https://sourceforge.net/projects/gaol/files/gdtoa/1.0/gdtoa-1.0.tar.gz/download
• https://sourceforge.net/projects/gaol/files/mathlib/2.0.0/mathlib-2.0.0.tar.gz/download
• https://sourceforge.net/projects/gaol/files/gaol/3.1.1/gaol-3.1.1.tar.gz/download

• Décompressez l'archive gdtoa et rendez-vous dans le dossier racine de la source.

tar xvf gdtoa-*.tar.gz && cd gdtoa-*

• Compilez la bibliothèque.

make

• Copiez les fichiers en-tête et la bibliothèque dans leurs répertoires respectifs (par défaut : /usr/local/include/ et /usr/local/lib/ si vous avez les privilèges administrateur).

sudo cp *.h /usr/local/include/
sudo cp libgdtoa.a /usr/local/lib/

• Décompressez l'archive mathlib et rendez-vous dans le dossier racine de la source.

tar xvf mathlib-*.tar.gz && cd mathlib-*

• Configurez l'installation. L'argument –prefix est facultatif mais permet de spécifier votre chemin d'installation (par exemple –prefix=$HOME/.local).

./configure --prefix=/usr/local

• Compilez la bibliothèque.

make

• Installez.

sudo make install

• Décompressez l'archive gaol et rendez-vous dans le dossier racine de la source.

tar xvf gaol-*.tar.gz && cd gaol-*

• Configurez l'installation.

./configure --prefix=/usr/local

• Compilez la bibliothèque.

make

• Installez.

sudo make install

• Vous devez linker les bibliothèques comme ceci :

g++ ... -lgaol -lm -lultim -lgdtoa

• (en) Gaol sur Sourceforge