October 2008 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs/Documentation Documentation.raw
by Enea Zaffanella 28 Oct '08

28 Oct '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-28 16:06:17 Modified files: htdocs/Documentation: Documentation.raw Log message: The configuration dependent manuals made available on the web site are those obtained when using --enable-instantiations=all. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Docume…

1 0

w3ppl/htdocs/Download Download.raw
by Enea Zaffanella 28 Oct '08

28 Oct '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-28 15:59:45 Modified files: htdocs/Download: Download.raw Log message: Reorganized the download page so as to make it more readable: - added a sort of index at the topp of the page; - download links organized in a tabular structure for enhanced visibility; we have two tables (binaries and sources) having a row for each format and a column for each distribution protocol (currently just FTP and HTTP). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/Download.ra…

1 0

ppl/doc libppl.3
by Roberto Bagnara 28 Oct '08

28 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-28 15:59:41 Modified files: doc : libppl.3 Log message: Wording slightly improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/libppl.3.diff?cvsroot=ppl…

1 0

w3ppl/htdocs/Credits Credits.raw
by Patricia Hill 28 Oct '08

28 Oct '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: hill(a)cs.unipr.it 2008-10-28 12:56:40 Modified files: htdocs/Credits : Credits.raw Log message: Revised to bring it more up-to-date. Needs checking. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Credits/Credits.raw.…

1 0

ppl CREDITS
by Patricia Hill 28 Oct '08

28 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-10-28 12:07:20 Modified files: . : CREDITS Log message: Updated the sponsors to include recent projects at Leeds. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/CREDITS.diff?cvsroot=ppl&r1=1…

1 0

w3ppl/bin update_web_site
by Enea Zaffanella 28 Oct '08

28 Oct '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-28 11:06:25 Modified files: bin : update_web_site Log message: n order to build the configuration dependent Prolog manuals, we need to build file Prolog_configured_interface.dox. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/bin/update_web_site.diff?cv…

1 0

w3ppl/htdocs/Download requirements.raw
by Enea Zaffanella 28 Oct '08

28 Oct '08

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2008-10-28 10:27:59 Modified files: htdocs/Download: requirements.raw Log message: Updated Comeau compiler, Doxygen, graphviz version numbers. In the requirements for developers, mentioned the use of ocamldoc, since this is often distributed as a separate binary package. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/requirement…

1 0

ppl NEWS
by Roberto Bagnara 27 Oct '08

27 Oct '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-10-27 21:21:58 Modified files: . : NEWS Log message: Small improvement. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.26…

1 0

Re: [PPL-devel] [PATCH]: bump minimum MPFR version, (includes some fortran bits)
by Roberto Bagnara 27 Oct '08

27 Oct '08

Richard Guenther wrote: > On Mon, Oct 27, 2008 at 1:22 PM, Joseph S. Myers > <joseph(a)codesourcery.com> wrote: >> On Sun, 26 Oct 2008, David Edelsohn wrote: >> >>> Graphite's CLooG and PPL libraries use libgmpxx. Because cc1 is not linked >>> by g++, this effectively requires that libgmpxx must be a shared >>> library. libgmp >> I hope the Graphite people are working on fixing this for 4.4. As I said >> in <http://gcc.gnu.org/ml/gcc-patches/2008-08/msg00144.html> (following >> Ian's slides), libstdc++ should be statically linked into cc1 by default - >> which probably means that if static libgmpxx is available then it should >> be used. I'm also concerned that we still don't have any documentation in >> install.texi concerning these libraries and pointing to suitable release >> tarballs of them in the infrastructure directory - we're nearly two months >> into Stage 3 and these libraries should be subject to much the same >> development stage rules as in-tree optimizers with the versions documented >> to be used and associated configure checks changing only to update to new >> bug-fix minor releases, not major feature releases, while in Stage 3. > > I think we are still waiting for the final ppl release, but otherwise > I agree that > instructions and tarballs should be provided rather yesterday than tomorrow. The first release candidate of the PPL has just been published: http://www.cs.unipr.it/pipermail/ppl-announce/2008/000020.html If you want, I can draft a patch for install.texi during next weekend. All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

First PPL 0.10 release candidate
by Roberto Bagnara 27 Oct '08

27 Oct '08

Dear All, we have uploaded the first PPL 0.10 release candidate (0.10pre36) to ftp://ftp.cs.unipr.it/pub/ppl/snapshots/ You can check the NEWS file via ViewVC: http://www.cs.unipr.it/cgi-bin/viewvc/viewvc.cgi/ppl/NEWS?view=co If all goes well, the release of PPL 0.10 will happen on November 4, 2008. In case problems arise, 0.10pre36 will be substituted by 0.10pre37, and so forth, without further announcements (of course the real release will be properly announced). Please report any problem you may encounter to ppl-devel(a)cs.unipr.it All the best, Roberto Bagnara Patricia M. Hill Enea Zaffanella -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0