
24 Sep
2008
24 Sep
'08
4:04 p.m.
On Sun, 2008-09-07 at 22:26 +0200, Roberto Bagnara wrote:
Roberto Bagnara wrote:
Can you update the Fedora ppl package to version 0.10preXX? gcc guys seem to require it, currently available 0.9.x seems to be a bit old. They say:
"currently, gcc configure will just disable the new optimizations if sufficiently new ppl isn't found, but that might change soon into just refusing to configure."
Dear Denys,
we are currently working full time to produce PPL 0.10. After that, we will update the Fedora packages. If things are _really_ urgent we could package a prerelease, but we would prefer to avoid that.
ppl update request has got its bug #:
https://bugzilla.redhat.com/show_bug.cgi?id=463742
-- vda