[PPL-devel] [GIT] ppl/ppl(master): Added a commit to consider should we release PPL 0. 10.3.
Roberto Bagnara
bagnara at cs.unipr.it
Tue May 12 21:55:54 CEST 2009
Module: ppl/ppl
Branch: master
Commit: 29859522caa565993a049f24f01c9a2640a4cd78
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=29859522caa565993a049f24f01c9a2640a4cd78
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Tue May 12 21:55:22 2009 +0200
Added a commit to consider should we release PPL 0.10.3.
---
TODO | 4 ++++
1 files changed, 4 insertions(+), 0 deletions(-)
diff --git a/TODO b/TODO
index c8bfd82..f63140e 100644
--- a/TODO
+++ b/TODO
@@ -36,6 +36,10 @@ e3460918400e04cf24fda33ff0cf9d18a95840b8
b94dc7951129d065d858b6dbd932eac59a643f96
(We cannot test the Java interface unless ENABLE_SHARED.)
+1c8a74aea14bce95dc1916df66995dd5a163eb2b
+(New configuration option `--with-gmp-build=DIR'.
+This allows to use a non-installed build of GMP in DIR.)
+
Enhancements for PPL 0.11 or later versions
===========================================
More information about the PPL-devel
mailing list