ubuntu 64-bit: install 32-bit gcc lib

On 64-bit machines, you may need to install a 32-bit support library. The symptom is that linking fails with error messages like "__udivdi3 not found" and "__muldi3 not found". On Ubuntu Linux, try this to fix the problem:

% sudo apt-get install gcc-multilib

after this, it will have

$ gcc -m32 -print-libgcc-file-name
/usr/lib/gcc/x86_64-linux-gnu/7/32/libgcc.a

 

before install, no 32-bit lib exist.

$ gcc -m32 -print-libgcc-file-name
/usr/lib/gcc/x86_64-linux-gnu/7/libgcc.a