dreal/dreal3

Building dreal3 problem

Closed this issue · 1 comments

GDelimpa commented

I reopen this issue, because I did not get any answers. Fyi, I am trying to build dreal3, because dReach is not contained in dreal4 to my knowledge.

MacOS Version: 10.14.6 + clang-1001.0.46.4

Trying to build dreal3 and got the following error:

CMake Error at /Users/gdelimpaltadak/dreal3/build/release/external/src/FILIB-stamp/FILIB-configure-.cmake:16 (message):
Command failed: 1

'/Users/gdelimpaltadak/dreal3/build/release/external/src/FILIB/configure' 'CC=/usr/local/bin/gcc-5' 'CXX=/usr/local/bin/g++-5' 'CXXFLAGS=-Wall -Wextra -Wno-deprecated-register -mfpmath=sse -msse -msse2 -ffloat-store -frounding-math -std=c++11' 'LDFLAGS=' '--prefix=/Users/gdelimpaltadak/dreal3/build/release' '--disable-shared'

See also

/Users/gdelimpaltadak/dreal3/build/release/external/src/FILIB-stamp/FILIB-configure-*.log

make[2]: *** [external/src/FILIB-stamp/FILIB-configure] Error 1
make[1]: *** [CMakeFiles/FILIB.dir/all] Error 2
make: *** [all] Error 2

soonho-tri commented

Can you check if the following works for you?

wget https://github.com/dreal/dreal3/releases/download/v3.16.06.02/dReal-3.16.06.02-darwin.zip

unzip dReal-3.16.06.02-darwin.zip

./dReal-3.16.06.02-darwin/bin/dReal