[PPL-devel] about install PPL under SGI IRIX 6.5

陈功 liliknn at gmail.com
Tue Sep 8 09:43:15 CEST 2009


Hi Roberto

And here is it.It was compressed in ZIP form.

Thanks
2009/9/8 Roberto Bagnara <bagnara at cs.unipr.it>

>  陈功 wrote:
>
>> Hi
>>
>> It always said"checking for the GMP library version 4.1.3 or above... no
>> configure: error: Cannot find GMP version 4.1.3 or higher."
>>
>> and I am sure I have already installed GMP 4.2.4
>>
>> the attachement is the full log
>>
>> can you help me?
>>
>> thanks
>>
>
> Hi there,
>
> apparently the attachment did not go through.  Can you please
> send it again in compressed form?
> All the best,
>
>   Roberto
>
> --
> Prof. Roberto Bagnara
> Computer Science Group
> Department of Mathematics, University of Parma, Italy
> http://www.cs.unipr.it/~bagnara/
> mailto:bagnara at cs.unipr.it
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20090908/1462574d/attachment.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: log.zip
Type: application/zip
Size: 58403 bytes
Desc: not available
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20090908/1462574d/attachment.zip>


More information about the PPL-devel mailing list