Why do I get an error "libgmp.so.3: wrong ELF class: ELFCLASS32"?

When using -machine-architecture 64 option on a Linux OS 64-Bits with Polyspace server installed, I get the following error message:

 /usr/local/PolySpace/PolySpaceForCandCPP_R2010b/Verifier/bin/x86_64-linux/iabc-c2if.cx86_64-linux: error while loading shared libraries: libgmp.so.3: wrong ELF class: ELFCLASS32

Answer 1

[MathWorks Support Team]

The 64-bits version of the libgmp.so library has not been installed on the machine or LD_LIBRARY_PATH variable is incorrectly set.

As a consequence, depending on the way the operating system has been installed (list of installed packages), the binary may not be able to locate it and fails because it only finds a 32-bits version.

To resolve this issue, we need to check if all the necessary packages are installed in the system and notably the library 64-Bits libgmp.so (Multiprecision arithmetic library).

Note that forcing option -machine-architecture 32 resolves the issue if 32-Bits library has been installed.