search

dreal / DReal.jl

Nonlinear Constraint Solving and Optimization
https://dreal.github.io/
Other
7 stars 4 forks source link

Shared libraries missing deps #5

Closed zenna closed 9 years ago

zenna commented 9 years ago

@soonhokong I tried Installing dReal.jl using the shared lib tar as per the instructions in the Readme and get an unable to load shared libraries. On closer inspection:

julia> compat_dlopen("libprim.so", RTLD_LAZY|RTLD_DEEPBIND|RTLD_GLOBAL)
Ptr{Void} @0x000000000959ea40

julia> compat_dlopen("libClp.so", RTLD_LAZY|RTLD_DEEPBIND|RTLD_GLOBAL)
ERROR: could not load module libClp.so: /usr/lib/x86_64-linux-gnu/libstdc++.so.6: version `GLIBCXX_3.4.20' not found (required by /home/zenna/Downloads/dReal-3.15.05-linux/lib/libCoinUtils.so.0)
 in dlopen at c.jl:17

julia> compat_dlopen("libibex.so", RTLD_LAZY|RTLD_DEEPBIND|RTLD_GLOBAL)
ERROR: could not load module libibex.so: /usr/lib/x86_64-linux-gnu/libstdc++.so.6: version `GLIBCXX_3.4.20' not found (required by /home/zenna/Downloads/dReal-3.15.05-linux/lib/libibex.so)
 in dlopen at c.jl:17

julia> compat_dlopen("libgflags.so", RTLD_LAZY|RTLD_DEEPBIND|RTLD_GLOBAL)
ERROR: could not load module libgflags.so: /usr/lib/x86_64-linux-gnu/libstdc++.so.6: version `CXXABI_1.3.8' not found (required by /home/zenna/Downloads/dReal-3.15.05-linux/lib/libgflags.so)
 in dlopen at c.jl:17

julia> compat_dlopen("libglog.so", RTLD_LAZY|RTLD_DEEPBIND|RTLD_GLOBAL)
ERROR: could not load module libglog.so: libunwind.so.7: cannot open shared object file: No such file or directory
 in dlopen at c.jl:17

julia> compat_dlopen("libcapd.so", RTLD_LAZY|RTLD_DEEPBIND|RTLD_GLOBAL)
Ptr{Void} @0x000000000653ab70
soonhokong commented 9 years ago

Updated. Could you download it again and test it?

zenna commented 9 years ago

No change.

You can check yourself on travis

https://travis-ci.org/dreal/dReal.jl/jobs/61662472

On 7 May 2015 at 06:00, Soonho Kong notifications@github.com wrote:

Updated. Could you download it again and test it?

— Reply to this email directly or view it on GitHub https://github.com/dreal/dReal.jl/issues/5#issuecomment-99800995.

soonhokong commented 9 years ago

This is another error: http://askubuntu.com/questions/575505/glibcxx-3-4-20-not-found-how-to-fix-this-error

I'll fix this on Travis, add the instruction to README.md, and close this.

soonhokong commented 9 years ago

Done by 152477dc0c5f4017e43d3ef73a73e95feba68b29 and 2732c555d38c1c052ea75ca309240b4a297f18d8. See https://travis-ci.org/dreal/dReal.jl/jobs/61681298.