On 1 March 2013 10:25, dongdong12345 xie <xiedongdong12...@gmail.com> wrote:
> Dear all:
>
>           To install guile, the./configure command is executed, the
> emergence of the " configure: error: GNU MP 4.1 or greater not found, see
> README ", and then I installed gmp-5.1.1, still appear " configure: error:
> GNU MP 4.1 or greater not found, see README.", what reason is this.
>
> NOTE: PC-HP
>

Hi

How did you install libgmp, was it from source?

You can try something like ‘./configure
--with-libgmp-prefix=/usr/local’, depending on where you installed
gmp.  Also, after running configure, the file config.log may have
helpful information if it still does not work.

Reply via email to