Can't find libgmpxx.so.4. Why

637 views
Skip to first unread message

Jiwei Jin

unread,
Nov 23, 2011, 4:24:32 AM11/23/11
to opensmt
Hi:
When I run opensmt, I got some problems that libgmpxx.so.4 can not be
found.
I have finish install opensmt as the instruction, and I am sure I have
installed gmp correctly.
libgmpxx.so.4 is in /usr/local/lib/ and I have set PATH and
LD_LIBARARY_PATH.
It seem that there are some wrong in Make.am?
My os is Ubuntu 11.04. opensmt is 20101017 version.
Thank!

Roberto Bruttomesso

unread,
Nov 23, 2011, 4:57:03 AM11/23/11
to ope...@googlegroups.com
Hi,

try to use native gmp

sudo apt-get install libgmpxx4ldbl libgmp3-dev

sometimes it helps

Cheers,
Roberto

> --
> You received this message because you are subscribed to the Google Groups "opensmt" group.
> To post to this group, send email to ope...@googlegroups.com.
> To unsubscribe from this group, send email to opensmt+u...@googlegroups.com.
> For more options, visit this group at http://groups.google.com/group/opensmt?hl=en.
>
>

--
Roberto Bruttomesso, PhD - http://tinyurl.com/r0b3r70

Jiwei Jin

unread,
Nov 24, 2011, 1:31:14 AM11/24/11
to opensmt
> try to use native gmp
>
> sudo apt-get install libgmpxx4ldbl libgmp3-dev
>

It works.
Thank a lot!

Reply all
Reply to author
Forward
0 new messages