search

dreal / dreal4

Automated Reasoning in Nonlinear Theories of Reals
https://dreal.github.io
Apache License 2.0
151 stars 32 forks source link

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

Open ameesh-shah opened 2 years ago

ameesh-shah commented 2 years ago

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: https://github.com/dreal/homebrew-dreal/issues/10

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

soonhokong commented 2 years ago

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).