/usr/bin/ld: cannot find -lgmp August 7, 2023 by Tarik sudo apt-get install libgmp3-dev Did the trick for me.(for Ubuntu)