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

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

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

Open dzufferey opened 7 years ago

dzufferey commented 7 years ago

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.