[PPL-devel] [GIT] ppl/w3ppl(master): Reported bugs (including a not-a-PPL-bug fix) affecting version 0.10.1.

[Enea Zaffanella]

Module: ppl/w3ppl
Branch: master
Commit: 8b2ec60382218724a265136811a90c2c2f0e4364
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=8b2ec60382218724a265136811a90c2c2f0e4364

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu Apr 16 10:55:31 2009 +0200

Reported bugs (including a not-a-PPL-bug fix) affecting version 0.10.1.

---

 htdocs/Bugs/archive.raw |   29 +++++++++++++++++++++++++++++
 1 files changed, 29 insertions(+), 0 deletions(-)

diff --git a/htdocs/Bugs/archive.raw b/htdocs/Bugs/archive.raw
index ae07a1d..38317cd 100644
--- a/htdocs/Bugs/archive.raw
+++ b/htdocs/Bugs/archive.raw
@@ -6,6 +6,35 @@ $Date: 2009/02/04 07:49:30 $
 <FONT SIZE="+2">T</FONT>his is an archive of the bugs discovered
 for various versions of the PPL.
 
+<H2>Known Bugs in PPL 0.10.1</H2>
+
+<DL>
+
+<DT><STRONG>April 16, 2009</STRONG></DT>
+<DD>
+Fixed a bug whereby build commands <CODE>make -n</CODE> and
+<CODE>make -n check</CODE> were not working as expected
+(<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d5c7c849dc491e2057c5da89b777ab61377df240">d5c7c849dc491e2057c5da89b777ab61377df240</A>).
+</DD>
+
+<DT><STRONG>April 15, 2009</STRONG></DT>
+<DD>
+Fixed a bug in the Libtool version information for the C language interface
+library, which causes library <CODE>libppl_c</CODE> to be installed with
+a wrong soname (<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=18ff016b92d1564dc761a0a1dcc528d8c2c4915b">18ff016b92d1564dc761a0a1dcc528d8c2c4915b</A>).
+</DD>
+
+<DT><STRONG>April 15, 2009</STRONG></DT>
+<DD>
+Modified the configuration script so as to correctly detect
+version 4.3.0 of GMP (<A HREF="http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5596eca02f2dea09e57ea22a240c2f3eab8be9e5">5596eca02f2dea09e57ea22a240c2f3eab8be9e5</A>).
+Note: strictly speaking, this is not a PPL bug, since GMP 4.3.0 (released
+a few hours <EM>after</EM> the release of PPL 0.10.1) includes a
+backward-incompatible change to variable <CODE>gmp_version</CODE>.
+</DD>
+
+</DL>
+
 <H2>Known Bugs in PPL 0.10</H2>
 
 <DL>