[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: install guile of question
From: |
Daniel Hartwig |
Subject: |
Re: install guile of question |
Date: |
Fri, 1 Mar 2013 17:06:06 +0800 |
On 1 March 2013 10:25, dongdong12345 xie <address@hidden> 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.