search

ibex-team / ibex-ampl

Plugin for AMPL modeling language
GNU General Public License v3.0
1 stars 0 forks source link

erreur dans cmake avec gaol #7

Open bneveu opened 3 years ago

bneveu commented 3 years ago

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 commented 3 years ago

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 commented 3 years ago

See #6

Jordan08 commented 3 years ago

and https://github.com/ibex-team/ibex-lib/issues/505