[PPL-devel] checking for version 0.10 of PPL... no

[Roberto Bagnara]

On 12/12/10 19:46, Dennis Clarke wrote:
>
> I see this in the configure stage of GCC 4.5.2 20101208 :
>
> .
> .
> .
> checking build system type... x86_64-pc-linux-gnu
> checking host system type... x86_64-pc-linux-gnu
> checking target system type... x86_64-pc-linux-gnu
> checking for a BSD-compatible install... /usr/bin/install -c
> checking whether ln works... yes
> checking whether ln -s works... yes
> checking for a sed that does not truncate output... /bin/sed
> checking for gawk... no
> checking for mawk... mawk
> checking for x86_64-linux-gnu-gcc... gcc
> checking for C compiler default output file name... a.out
> checking whether the C compiler works... yes
> checking whether we are cross compiling... no
> checking for suffix of executables...
> checking for suffix of object files... o
> checking whether we are using the GNU C compiler... yes
> checking whether gcc accepts -g... yes
> checking for gcc option to accept ISO C89... none needed
> checking whether we are using the GNU C++ compiler... no
> checking whether CC accepts -g... no
> checking for x86_64-linux-gnu-gnatbind... no
> checking for gnatbind... no
> checking for x86_64-linux-gnu-gnatmake... no
> checking for gnatmake... no
> checking whether compiler driver understands Ada... no
> checking how to compare bootstrapped objects... cmp --ignore-initial=16
> $$f1 $$f2
> checking for objdir... .libs
> checking for version 0.10 of PPL... no
> checking how to run the C preprocessor... gcc -E
> checking for grep that handles long lines and -e... /bin/grep
> checking for egrep... /bin/grep -E
> checking for ANSI C header files... yes
> .
> .
> .
>
>
>
> As a bit of a followup to the ppl issues I ran into on Solaris I can now
> report something on Linux ( Debian Squeeze ) in which the most recent GCC
> 4.5.2 Release Candidate seems to go looking for ppl 0.10 in the configure
> stage. This of course will not be found because the latest RC for ppl is
> in fact 0.11.1. Not sure how one is to build and test the ppl Release
> Candidate and then have it become part of the build within the GCC 4.5.2
> Release Candidate on Linux or Solaris.
>
> My objective is to have a complete GCC with ppl and cloog implemented
> across both Linux and Solaris with equal performance results in terms of
> clean testsuite. I think that a package release into the Solaris world
> would be of some great value. I am using the Debian Squeeze build process
> as a test reference control data point. I am labouring under the
> assumption that all of this should 'just work' with a recent and solid
> Linux and that the struggles will be in the baseline Solaris world.
>
> Suggestions are of course needed here.

The GCC people (at least some of them, possibly not the right ones)
were told several times about the fact that PPL 0.10 would no longer
be supported and that they should switch to PPL 0.11.  I have received
no answer to those messages and I really don't know why they insist
on PPL 0.10, especially because, as far as they are concerned, there
is no difference whatsoever.

The moral of the story is: we do not have the resources to maintain
both PPL 0.10 and PPL 0.11.  We thus maintain only the latter.
Concerning GCC, believe me: if you change the GCC configure line
that insists for PPL 0.10* so that PPL 0.11* is accepted,
you will be fine.  By far, this is the easiest thing to do.

-- 
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it