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

[Dennis Clarke]

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.


-- 
Dennis Clarke
dclarke at opensolaris.ca  <- Email related to the open source Solaris
dclarke at blastwave.org   <- Email related to open source for Solaris

---------------------------- Original Message ----------------------------
Subject: Re: [PPL-devel] powerset1.cc: In function 'bool<unnamed>::test01()':
From:    "Roberto Bagnara" <bagnara at cs.unipr.it>
Date:    Fri, December 10, 2010 16:28
To:      dclarke at blastwave.org
Cc:      "ppl user maillist" <ppl-devel at cs.unipr.it>
--------------------------------------------------------------------------

On 12/10/10 17:38, Dennis Clarke wrote:
>
> While trying to build ppl-0.10.2 on Solaris 8 with GCC 4.4.4 I have seen
> the following error in the 'make check' stage :
>
> [...]
>
> The sources were taken from
> http://www.cs.unipr.it/ppl/Download/ftp/ppl/releases/LATEST/solaris/
>
> Not sure if ppl can be compiled on Solaris 8. Certainly gmp, mpfr and mpc
> all work flawlessly. I would certainly like to incorporate ppl into the
> next GCC release if it could pass the testsuite.

Hi Dennis.

The PPL 0.10 series is no longer supported.  We plan to release PPL 0.11.1
really soon now.  You can download the current release candidate from

     http://www.cs.unipr.it/ppl/Download/ftp/snapshots/

Please let us know how it goes: we will be glad to incorporate
improvements for Solaris 8 (or any other platform) into PPL 0.11.1.
All the best,

    Roberto

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