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).
- 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@cs.unipr.it