search

ibex-team / ibex-lib

IBEX is a C++ library for constraint processing over real numbers.
http://ibex-team.github.io/ibex-lib/
GNU Lesser General Public License v3.0
67 stars 51 forks source link

ibex-ampl et cmake #496

Open bneveu opened 3 years ago

bneveu commented 3 years ago

Il manque un CMakeLists.txt dans ibex-ampl pour pouvoir utiliser le package avec cmake

~/ibex/ibex-ampl/build$ IBEX_DIR=/home/bertrand/ibex/ibex-develop/ibex-lib/install cmake -DCMAKE_INSTALL_PREFIX=../install .. CMake Error: The source directory "/home/bertrand/ibex/ibex-ampl" does not appear to contain CMakeLists.txt. Specify --help for usage, or press the help button on the CMake GUI.

gchabert commented 3 years ago

Oui, mais ce n'est pas la priorité. La priorité est de parvenir à faire un package Debian du noyau ibex; et donc de terminer le wrapper CLP. L'installation avec waf continue à fonctionner pour les plugins.

bneveu commented 3 years ago

C'était pour tester les exemples .nl de coconut2 avec CLP. Je peux commencer par les exemples de coconut1 .

gchabert commented 3 years ago

Ah oui, ok! Je pense que si on arrive à passer la base de benchs Minibex sans régression importante avec CLP, ça devrait rouler avec les fichiers AMPL.