dreal / dreal4

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

Build problem MacOS - Ibex Installation #282

Closed MominaSajid closed 2 years ago

MominaSajid commented 2 years ago

MacOS version: 12.5.1 Python Version: 3.8 & 2.7 (both installed)

I am getting the following error when I run the setup command """% ./setup/mac/install_prereqs.sh""" on the mac - i.e. install the ibex@2.7.4:

==> 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=cl Last 15 lines from /Users/younusu/Library/Logs/Homebrew/ibex@2.7.4/01.waf: 2022-09-11 09:50:23 +0000

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

env: python2.7: No such file or directory Do not report this issue to Homebrew/brew or Homebrew/core!

soonhokong commented 2 years ago

It doesn't support M1/M2 macs for now. Intel macs / x86_64 linux machines are supported.

MominaSajid commented 1 year ago

Can dreal be installed on windows?


From: Soonho Kong @.> Sent: Sunday, September 11, 2022 8:07:20 AM To: dreal/dreal4 @.> Cc: MominaSajid @.>; Author @.> Subject: Re: [dreal/dreal4] Build problem MacOS - Ibex Installation (Issue #282)

It doesn't support M1/M2 macs for now. Intel macs / x86_64 linux machines are supported.

— Reply to this email directly, view it on GitHubhttps://github.com/dreal/dreal4/issues/282#issuecomment-1242984335, or unsubscribehttps://github.com/notifications/unsubscribe-auth/AIV6UQRMSRZOHJUOAZXM3RDV5XYSRANCNFSM6AAAAAAQJWUBGI. You are receiving this because you authored the thread.Message ID: @.***>

soonhokong commented 1 year ago

No. I know some people are using it via Docker though.