dreal3 icon indicating copy to clipboard operation
dreal3 copied to clipboard

Published 20 hours ago • verified publisher icon dreal

MTIDD linking problem with older versions of GCC (4.9 and 5.3)

Open dzufferey opened this issue 7 years ago • 0 comments

It happens since MTIDD was added. I have only seen this issue under linux machines with older versions of GCC (4.9 and 5.3).

Instead of linking statically, dReal links against the dynamic version. Then dReal fails to run. A workaround is to add $DREAL_HOME/build/external/src/MTIDD to LD_LIBRARY_PATH.

dzufferey avatar Sep 21 '17 09:09 dzufferey