Issue with installing and configuring IBEX during dependency installation on Mac M1 Chip

[ameesh-shah]

Hi,

I'm looking to install and use dreal, but running the provided dependency installation script resulted in the following error on a 2021 Mac 12.2.1 using an M1 Pro Chip, with Apple clang version 13.1.6 (clang-1316.0.21.2.5).

==> Installing dreal from dreal/dreal
==> Installing dependencies for dreal/dreal/dreal: robotlocomotion/director/ibex@2.7.4 and nlopt
==> Installing dreal/dreal/dreal dependency: robotlocomotion/director/ibex@2.7.4
==> ./waf configure --prefix=/opt/homebrew/Cellar/ibex@2.7.4/2.7.4_13 --enable-shared --with-optim --with-solver --with-affine-extended --interval-lib=filib --lp-lib=clp --clp-path=/opt/homebrew/opt/clp
Last 15 lines from /Users/ameeshshah/Library/Logs/Homebrew/ibex@2.7.4/01.waf:
Checking for program 'make' : /opt/homebrew/Library/Homebrew/shims/mac/super/make
Applying patch : filibsrc-3.0.2.2.all.all.patch
Calling configure : done
Calling make : done
Calling install : done
Checking for header interval/interval.hpp : yes
Checking for library prim : yes
Checking for compiler flags -frounding-math : yes
Checking for compiler flags -ffloat-store : yes
Checking for header interval/interval.hpp with -msse3 : yes
Configuration of the library for LP
Library for LP : clp
Checking for 'clp' : not found
The configuration failed
(complete log in /private/tmp/ibexA2.7.4-20220803-24987-115nfep/ibex-lib-ibex-2.7.4_13/build/config.log)

Do not report this issue to Homebrew/brew or Homebrew/core!

As a sanity check, running which clp shows /opt/homebrew/bin/clp. Furthermore, the location that the error trace refers to a complete log does not exist.

This appears to be essentially the same issue referenced here: dreal/homebrew-dreal#10

Let me know if any other information is needed. Many thanks!

[soonhokong]

Hi,

We're aware of this issue and working on a workaround. FYI, the problems come from some dependencies of dReal.

In the meantime, you need to use either intel macs or Linux (x86_64).