gmp question

[leonel hernandez]

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.