[PPL-devel] Check dependency resolution for 64 bit linking

[Roberto Bagnara]

Markus Elfring wrote:
>> 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

OK: please take into account that Git access is meant for developers
and for those closely following the PPL development (and, hence,
familiar with the tools, conventions, and so forth).

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

This is OK.

> Does the configuration script contain a check if this software is recent
> enough?

Not now.  But this is an oversight and should be fixed.

>> a) --enable-optimization is the default;
> 
> Would you like to add the detail to the help description which level
> should be the default?

It is documented in README.configure.
All the best,

    Roberto

P.S. Please direct all PPL-related messages to ppl-devel at cs.unipr.it

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