-------- Original Message -------- Subject: Re: [PPL-devel] Check dependency resolution for 64 bit linking Date: Sun, 26 Apr 2009 21:29:03 +0200 From: Markus Elfring <Markus.Elfring@web.de> To: Roberto Bagnara <bagnara@cs.unipr.it> References: <49F3842C.7050608@web.de> <49F40CB3.20308@cs.unipr.it>

you are not saying which version of the PPL you are trying to compile. I try the build process from the results of the command "git clone". http://www.cs.unipr.it/ppl/Download/Git#read-only-access

1) if you really want to stay on the bleeding edge, using the Git versions, try updating Libtool to the latest available version;

I get the following informations. Repository: @System Name: libtool Version: 2.2.6-1.35 Arch: x86_64 Vendor: openSUSE Installed: Yes Status: up-to-date Installed Size: 2.3 M Summary: A Tool to Build Shared Libraries Does the configuration script contain a check if this software is recent enough?

a) --enable-optimization is the default;

Would you like to add the detail to the help description which level should be the default? Regards, Markus -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it