erreur dans cmake avec gaol

[bneveu]

J'ai fait
git pull origin develop
dans ibex-lib et ibex-ampl

J'ai une erreur avec cmake pour gaol
ibex-ampl veut une version 4.2.2, alors qu'ibex-lib fournit une version 4.2.0

export IBEX_DIR=../../ibex-lib/install/share/ibex/cmake/
neveub@precisiont1650:~/ibex/ibex-ampl/build$ cmake .. -DCMAKE_INSTALL_PREFIX=../install
-- Found Ibex version 2.8.9.1
-- Running on system Linux-5.4.0-65-generic with processor x86_64
-- Using CMake 3.16.3
-- C++ compiler: GNU 9.3.0
-- Will build static libraries
-- Setting build type to 'Release' as none was specified.
-- Ibex was compiled with interval library Gaol 4.2.0
CMake Error at CMakeLists.txt:19 (message):
If ibex is compiled with GAOL, it is necessary to install a version of GAOL
at least 4.2.2. Otherwise, please reinstall Ibex using the Filib library:
cmake -DINTERVAL_LIB=filib

[Jordan08]

Bonjour Oui c'est normal Il y a un conflit entre GAOL 4.2.0 et Ampl Solver Library (ASL). Ils contiennent tout les deux le code dtoa.c Pour le moment, l'interface ne marche qu'avec filib, ou la prochaine version de GAOL qui a enlevé dtoa.c

[Jordan08]

See #6

[Jordan08]

and ibex-team/ibex-lib#505