[PPL-devel] [GIT] ppl/ppl(master): One item added.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu Nov 26 11:17:39 2009 +0100

One item added.

---

 TODO |    4 +++-
 1 files changed, 3 insertions(+), 1 deletions(-)

diff --git a/TODO b/TODO
index f11abd9..e08798f 100644
--- a/TODO
+++ b/TODO
@@ -5,7 +5,9 @@ Enhancements for PPL 0.11
 - Make all the *affine*image() methods uniform as far as the
   specification is concerned.
 - Look carefully at http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42115
-
+- Lack of perl can cause more problems than explained in the warning
+  message given by our configuration procedure.  See, e.g.,
+  http://www.cs.unipr.it/pipermail/ppl-devel/2009-November/015758.html
 
 Commits to consider should we release PPL 0.10.3
 ================================================