Compilation failed

[zell08v]

I followed the instructions, but the compilation process failed on a newly created Ubuntu 14.04. The issue seems to occur when compiling MTIDD.

I also tried to compile dreal on a newly created Ubuntu 16 VM. The same symptom occurred.

[ 28%] Performing configure step for 'MTIDD'
CMake Error at /home/zell/dreal/build/release/external/src/MTIDD-stamp/MTIDD-configure.cmake:16 (message):
  Command failed: 1

   '/usr/bin/cmake' '-DCMAKE_INSTALL_PREFIX=/home/zell/dreal/build/release' '/home/zell/dreal/build/release/external/src/MTIDD/src'

  See also

    /home/zell/dreal/build/release/external/src/MTIDD-stamp/MTIDD-configure-*.log


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

[soonho-tri]

@zell08v , thanks for the report. There are issues with configuring MTIDD library, I will fix it soon.

In the meantime, please try an older version (commits made before May 30, 2017 should be fine). If you don't need to handle ODEs, also please try https://github.com/dreal/dreal4.