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

Add configuration arguments to mathlib #523

Open veylonni opened 2 years ago

veylonni commented 2 years ago

Hi ! I'm building Ibex with the CMake toolchain, and it seems I cannot set a specific compiler for building mathlib, because I need to pass an extra option (CC=<path_to_compiler) to the CONFIGURE step of ExternalProject_Add here :

https://github.com/ibex-team/ibex-lib/blob/7a1e759b7e5993a10cadc8ead57de20d9eb80089/interval_lib_wrapper/gaol/CMakeLists.txt#L34

and here :

https://github.com/ibex-team/ibex-lib/blob/7a1e759b7e5993a10cadc8ead57de20d9eb80089/interval_lib_wrapper/gaol/CMakeLists.txt#L46

A solution would be to add ${MATHLIB_CONFIG_ARGS} to the CONFIGURE step, just like in the CONFIGURE step of gaol :

https://github.com/ibex-team/ibex-lib/blob/7a1e759b7e5993a10cadc8ead57de20d9eb80089/interval_lib_wrapper/gaol/CMakeLists.txt#L129