M2 Apple chips compatibility

[ThisIsJairo]

Dear ibex-team,

I hope you are doing great.
I would like to use a python library (dReal) that uses IBEX on my M2 MacBook, but I have not been able to install it. The problem always appears when installing ibex.
I was wondering if there is any compatibility issue between IBEX and latest Apple chips.

Regards,

[raphaelchenouard]

Dear Jairo,

Can you give more details about the problems you face in installing Ibex?
If you use homebrew (https://brew.sh/index), there is a formula for Ibex, but I didn't test it recently.

On my side, I'm using an M1 and I compile Ibex using the method in the documentation based on cmake. If I remember well, the main issues were about installing the dependencies of Ibex (Gaol and Soplex in my case). By default, Ibex use the scripts to install them by itself, but on such a new platform, it is preferable to install them by yourself and then to provide the path to where these libs are installed.

To compile ibex, I used this command:
cmake .. -DCMAKE_INSTALL_PREFIX=/opt/homebrew/Cellar/ibex/2.8.10/ -DLP_LIB=soplex -DINTERVAL_LIB=gaol -DGAOL_DIR=/opt/homebrew -DSOPLEX_DIR=/opt/homebrew
You can note that I used an install prefix into the cellar of homebrew and using the version 2.8.10 that does not exist officially, but it avoids any upgrade or confusion with the latest 2.8.9 available version, so that homebrew is used to make it available to the default homebrew path (/opt/homebrew, that was added to the default compile/link path during its installation) via:
brew link ibex
You can also note that I also installed soplex and gaol in the same way to manage them with homebrew, since their path is based on homebrew.