gmp question

[Mike Mohr]

Leonel,

You're welcome to use my Android project here:

https://github.com/Rupan/gmp

I provide prebuilt shared objects that work in Android apps.  However, due
to missing documentation, I am unable to run the full test suite on a
target device.  As a result, there is at least 1 known, repeatable crash
logged in the project issues.

Mike

On Mon, Jul 9, 2012 at 11:06 AM, leonel hernandez <leonelhs at gmail.com>wrote:

> Hello, here is the thing, I'm using lib gmp5.0.5  for compile giac/xcas and
> port to arm android, and it compiles well, the problems is this, dlopen
> allways search libgmp.so.10   and its ok if you deploy the lib manually to
> the android file system, but this way is  useless in a production device
> because the pakage only admit libs whit extension .so not so.10, my
> question is how can I compile gmp in order to ld links whit the file lib
> name libgmp.so not libgmp.so.10?
>
> Leonel Hernández.
> best regards.
> _______________________________________________
> gmp-discuss mailing list
> gmp-discuss at gmplib.org
> https://gmplib.org/mailman/listinfo/gmp-discuss
>