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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Apr 16 11:12:49 2009 +0200

Small improvements.

---

htdocs/Bugs/archive.raw | 21 ++++++++++++--------- 1 files changed, 12 insertions(+), 9 deletions(-)

diff --git a/htdocs/Bugs/archive.raw b/htdocs/Bugs/archive.raw index 38317cd..b7a7157 100644 --- a/htdocs/Bugs/archive.raw +++ b/htdocs/Bugs/archive.raw @@ -12,25 +12,28 @@ for various versions of the PPL.

<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 +Fixed a bug whereby <CODE>make -n</CODE> (possibly followed by +one or more make targets) was 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>). +library, which caused the <CODE>libppl_c</CODE> library 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>. +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>