- Install MinGW packages on Ubuntu
sudo apt install mingw-w64
- Download, build and install GMP for MinGW
- Download the src package from https://sourceforge.net/projects/mingw/files/MinGW/Base/gmp/gmp-6.1.2/
- Extract somewhere on your Ubuntu machine and enter the directory.
- Run
./configure --prefix=/usr/x86_64-w64-mingw32 --host=x86_64-w64-mingw32