[PPL-devel] PPL fails to build on SGI - with config.log.bz2

[Roberto Bagnara]

Tovrea, George W (US SSA) wrote:
> Knowing how you love to see the config.log, I've attached it.

Right, but the attachment did not get through :-D
I also need the (possibly complete) documentation of getopt()
as provided by your system.
Cheers,

    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