fatal error: gmp.h: No such file or directory

By April 5, 2018Linux

Fix fatal error: gmp.h: No such file or directory

apt-get install  libgmp3-dev