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

[Roberto Bagnara]

陈功 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