This error occurs because the Polyspace installer is itself a 32-bit binary using 32-bit binaries, which may cause problems on a 64-bit machine. It needs 32-bit libraries installed.
On an Ubuntu 64-bit Linux machine, to work around this issue, install the package "ia32-libs" from your Linux distribution:
apt-get install ia32-libs
Under most Linux releases, the command can be different. On a Red Hat 64-bit Linux machine, this installation can be accomplished by executing the following command in a shell:
yum install glibc-devel.i386
Note that you need to be root to complete these steps.
Please refer to the documentation for your Linux distribution for more information on installing these libraries.
