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
It works.
Thank a lot!