On Wed, 27 May 2020, Leonardo Romero wrote:
 I'm trying to build the last version of Gretl using git. But
after I run the ./configure command I have the following error:
 #####################################
 Please install GMP and then reconfigure gretl.
 GMP is available from 
http://gmplib.org/
 ####################################
 I have already installed the library libgmp3-dev
 $ sudo apt-get install libgmp3-dev
 Reading package lists... Done
 Building dependency tree
 Reading state information... Done
 libgmp3-dev is already the newest version (2:6.1.2+dfsg-2).
 0 upgraded, 0 newly installed, 0 to remove and 58 not upgraded.
 ######################################################
 and also have installed:  $sudo apt-get install libgmp-dev
 Reading package lists... Done
 Building dependency tree
 Reading state information... Done
 libgmp-dev is already the newest version (2:6.1.2+dfsg-2).
 0 upgraded, 0 newly installed, 0 to remove and 58 not upgraded.
 ########################################################
 but every time I run de ./configure command I'm having the same message. And it did
not only happened to me using in Ubuntu. I tried in a  Debian server and it happens the
same. 
try
sudo apt-get build-dep gretl
-------------------------------------------------------
   Riccardo (Jack) Lucchetti
   Dipartimento di Scienze Economiche e Sociali (DiSES)
   Università Politecnica delle Marche
   (formerly known as Università di Ancona)
   r.lucchetti(a)univpm.it
   
http://www2.econ.univpm.it/servizi/hpp/lucchetti
-------------------------------------------------------