[PPL-devel] [CLooG-dev] 'make check; errors in ppl-0.10.2 and 'gcc'

[Sergei Steshenko]

Regarding "I warmly recommend to use PPL 0.11" - well, I can't, please see

http://groups.google.com/group/cloog-development/browse_thread/thread/db7eee777d1b5054?hl=en#
.

Thanks,
  Sergei.

On 8/27/10, Roberto Bagnara <bagnara at cs.unipr.it> wrote:
> On 08/26/10 23:15, Sergei Steshenko wrote:
>> Another piece of info I forgot to mention.
>>
>> In the end I need to build gcc-4.4.4. I am building it in two stages
>> in addition to whatever stages used by 'gcc' build mechanism itself.
>>
>> First I build gcc-4.4.4 without 'cloog', then using this clogg-less
>> gcc-4.4.4 I build 'cloog' and its dependencies, and then having built
>> 'cloog' I build the final gcc-4.4.4 with 'cloog' - still using the
>> cloog-less gcc-4.4.4.
>>
>> So now you know the gory details of the 'gcc' I'm using to build the stuff
>> :).
>>
>> Again, IIRC, ppl-0.11 builds just fine using this scheme, but
>> ppl-0.10.2 produces 'make check' errors we are discussing in this
>> thread.
>
> Dear Sergei,
>
> thanks for the additional information.  I have completed the investigation
> and I can say that your observation (which I have been able to reproduce)
> is a problem in one of the demo programs of PPL 0.10.2 that in no way
> can affect GCC.
>
> Said that, I warmly recommend to use PPL 0.11, as PPL 0.10.2 will not
> receive any further maintenance.  We have already identified a few minor
> issues in PPL 0.11 and we plan to release PPL 0.11.1 soon.
> I urge Graphiters to help us test PPL 0.11 on as many platforms as
> possible in order to make sure PPL 0.11.1 will include all the necessary
> patches.
> 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
>