Can't cross compile C program using Loquendo ARM libraries (shared objects, .so) with gcc

Question

Well, following the doctoral thesis that Javier did and only having available the ELF 32-bit LSB shared object, ARM versions of the Loquendo shared objects (.so