{{tag>tutoriel optimisation arithmétique}} ---- ====== 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. ===== Pré-requis ===== 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 ===== Installation de gdtoa ===== * 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/ ===== Installation de mathlib ===== * 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 ===== Installation de gaol ===== * 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 ===== Utilisation ===== * Vous devez linker les bibliothèques comme ceci : g++ ... -lgaol -lm -lultim -lgdtoa ===== Voir aussi ===== * **(en)** [[https://sourceforge.net/projects/gaol|Gaol sur Sourceforge]]