search

dreal / dreal3

There is a new version of dReal, available at https://github.com/dreal/dreal4
GNU General Public License v3.0
48 stars 36 forks source link

Buildind dreal3 problem #355

Closed GDelimpa closed 5 years ago

GDelimpa commented 5 years ago

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