- PPL-devel - BUGSENG Mailman

Sage build from source...
by Steven Holman 24 Nov '13

24 Nov '13

Hi, I downloaded Sage to build on a MacBook Pro running Ubuntu 12.04 LTS 64bit. A real partitioned OS, not a VM. Anyways, I used http://www.cecm.sfu.ca/sage/src/index.html and downloaded "sage-5.12.tar". I made sure all my prerequisites (including dpkg-dev) were installed (via apt-get) and then I just ran; make It finished with errors and I followed it back until it said; Successfully installed ppl-1.1pre9.p0 But when it ran the test suite it failed a little later around make cotree1 So I just played around by implementing, cd '/home/sbh/SW/Sage/sage-5.12/spkg/build/ppl-1.1pre9.p0' && '/home/sbh/SW/Sage/sage-5.12/sage' --sh and started from the "successful install of ppl....." The complaint about the libstdc++.so.6 being the wrong version makes me think that a LD_LIBRARY_PATH is pointing to this library, from a Matlab install, before /usr/lib - actually my libstdc++.so is in /usr/lib/x86_64-linux-gnu/ instead of /usr/lib/. So I checked these libraries; sbh@sbh-MacBookPro:/usr/local/MATLAB/MATLAB_Compiler_Runtime/v81/sys/os/glnxa64$ /sbin/ldconfig -p | grep stdc++ libstdc++.so.6 (libc6,x86-64) => /usr/lib/x86_64-linux-gnu/libstdc++.so.6 libstdc++.so.6 (libc6) => /usr/lib/i386-linux-gnu/libstdc++.so.6 libstdc++.so.6 (libc6) => /usr/lib32/libstdc++.so.6 libstdc++.so.6 (libc6) => /home/sbh/QtSDK/Madde/sysroots/harmattan_sysroot_10.2011.34-1_slim/usr/lib/libstdc++.so.6 libstdc++.so.5 (libc6) => /usr/lib/i386-linux-gnu/libstdc++.so.5 sbh@sbh-MacBookPro:/usr/local/MATLAB/MATLAB_Compiler_Runtime/v81/sys/os/glnxa64$ strings /usr/lib/libstdc++.so.6 | grep LIBCXX strings: '/usr/lib/libstdc++.so.6': No such file sbh@sbh-MacBookPro:/usr/local/MATLAB/MATLAB_Compiler_Runtime/v81/sys/os/glnxa64$ strings /usr/lib/x86_64-linux-gnu/libstdc++.so.6 | grep LIBCXX GLIBCXX_3.4 GLIBCXX_3.4.1 GLIBCXX_3.4.2 GLIBCXX_3.4.3 GLIBCXX_3.4.4 GLIBCXX_3.4.5 GLIBCXX_3.4.6 GLIBCXX_3.4.7 GLIBCXX_3.4.8 GLIBCXX_3.4.9 GLIBCXX_3.4.10 GLIBCXX_3.4.11 GLIBCXX_3.4.12 GLIBCXX_3.4.13 GLIBCXX_3.4.14 GLIBCXX_3.4.15 GLIBCXX_3.4.16 GLIBCXX_DEBUG_MESSAGE_LENGTH I tried copying some around, symbolic links, etc. Seems it is requesting an older one than the one above, that I had copied to the matlab folder just to see if it would work. Anyway, long story short, I've attached the ppl log file, though I will say that while I was in the subshell I did have a problem with one make process complaining of no header file; g++ cotree1.cc -o cotree1 cotree1.cc:24:23: fatal error: ppl_test.hh: No such file or directory compilation terminated. Anyways, I've built a lot of software (OpenFOAM, MPI, Tor, etc.) on this machine successfully so I'm not really sure what is the problem, and was hoping you could help me figure it out. Thank you! Brett

2 1

Gentile cliente,diventa UTENTE VERIFICATO!
by mariaasl＠yahoo.com 09 Nov '13

09 Nov '13

1 0

[GIT] ppl/ppl(master): Version number bumped.
by Roberto Bagnara 08 Nov '13

08 Nov '13

Module: ppl/ppl Branch: master Commit: 02d63ee8aae4c60ae85bc85ea24cecf7d96ef09e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=02d63ee8aae4… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Fri Nov 8 14:11:25 2013 +0100 Version number bumped. --- configure.ac | 2 +- src/Makefile.am | 3 ++- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/configure.ac b/configure.ac index 39ade54..0c0eb62 100644 --- a/configure.ac +++ b/configure.ac @@ -24,7 +24,7 @@ # Process this file with Autoconf to produce a configure script. # Every other copy of the package version number gets its value from here. -AC_INIT([the Parma Polyhedra Library], [1.1pre14], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [1.2pre1], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61) diff --git a/src/Makefile.am b/src/Makefile.am index 8cd12b7..6475503 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -60,8 +60,9 @@ # 0.12.1 11:0:0 # 1.0 12:0:0 # 1.1 13:0:0 +# 1.2 14:0:0 -LIBPPL_LT_CURRENT = 13 +LIBPPL_LT_CURRENT = 14 LIBPPL_LT_REVISION = 0 LIBPPL_LT_AGE = 0

1 0

Parma Polyhedra Library 1.1
by Roberto Bagnara 29 Oct '13

29 Oct '13

The core development team is very pleased to announce the availability of PPL 1.1, a new release of the Parma Polyhedra Library. This release includes support for "positive time elapse," a new operator on polyhedra, improvements to the Java interface, several portability improvements and a few bug fixes. The precise list of user-visible changes is below. For more information, please come and visit the new PPL web site at http://bugseng.com/products/ppl On behalf of all the past and present developers listed at http://bugseng.com/products/ppl/credits and in the file CREDITS, Roberto Bagnara Patricia M. Hill Enea Zaffanella Abramo Bagnara BUGSENG srl (http://bugseng.com) -------------------------------------------------------------------------- NEWS for version 1.1 (released on October 28, 2013) -------------------------------------------------------------------------- New and Changed Features ======================== o Added a new operator on polyhedra: the positive time elapse. o In the Java language interface: - The constraint/generator/... system classes now extend the ArrayList generic container (rather than Vector); - Variable objects are now built from a long (rather than int) value, thereby matching the type used elsewhere for space dimensions; - added new static method to Variable class void setStringifier(Variable_Stringifier) where Variable_Stringifier is an interface allowing for customization of the output routine for variable's names (see example in interfaces/Java/tests/Variable_Output_test1.java); - added value NOT_EQUAL to enumeration Relation_Symbol. Bugfixes ======== o Portability improved. o Fixed a precision regression in Polyhedron method void drop_some_non_integer_points(const Variables_Set&, Complexity_Class); o In the Java language interface, fixed a C++/Java conversion error whereby the construction of a valid Variable object in JNI code was leading to an exception being thrown. The bug has only been observed on 32-bit builds. o In the Java interface, fixed declaration of methods void drop_some_non_integer_points(...); so as to accept a Complexity_Class enum value. o Fixed an issue in method MIP_Problem::OK() whereby the method was trying to enforce a non-invariant condition. -- Prof. Roberto Bagnara Applied Formal Methods Laboratory - University of Parma, Italy mailto:bagnara@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com

1 0

[GIT] ppl/ppl(ppl-1_1-branch): Update version.
by Roberto Bagnara 28 Oct '13

28 Oct '13

Module: ppl/ppl Branch: ppl-1_1-branch Commit: eefc370be3aeae7487a389dbce049beaffafeb10 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eefc370be3ae… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Oct 28 13:38:33 2013 +0100 Update version. --- configure.ac | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/configure.ac b/configure.ac index 39ade54..bf47010 100644 --- a/configure.ac +++ b/configure.ac @@ -24,7 +24,7 @@ # Process this file with Autoconf to produce a configure script. # Every other copy of the package version number gets its value from here. -AC_INIT([the Parma Polyhedra Library], [1.1pre14], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [1.1], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61)

1 0

[GIT] ppl/ppl(ppl-1_1-branch): Mark ChangeLog.
by Roberto Bagnara 28 Oct '13

28 Oct '13

Module: ppl/ppl Branch: ppl-1_1-branch Commit: 703378ad0497ba3c989a609950a9de12e21ca89c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=703378ad0497… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Mon Oct 28 13:38:33 2013 +0100 Mark ChangeLog. --- ChangeLog | 4 ++++ 1 files changed, 4 insertions(+), 0 deletions(-) diff --git a/ChangeLog b/ChangeLog index 3b08901..ee8e117 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2013-10-28 Roberto Bagnara <bagnara(a)cs.unipr.it> + + * PPL 1.1 released. + 2013-10-28 Roberto Bagnara <roberto.bagnara(a)bugseng.com> * doc/devref-language-interface.doxyconf.in,

1 0

[GIT] ppl/ppl(ppl-1_1-branch): Updated.
by Roberto Bagnara 28 Oct '13

28 Oct '13

Module: ppl/ppl Branch: ppl-1_1-branch Commit: dacf2193128a992f330ebfb76793dbd01d3efabe URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dacf2193128a… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Mon Oct 28 13:30:13 2013 +0100 Updated. --- ChangeLog | 19 +++++++++++++++++++ 1 files changed, 19 insertions(+), 0 deletions(-) diff --git a/ChangeLog b/ChangeLog index 6fd2e9e..3b08901 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,24 @@ 2013-10-28 Roberto Bagnara <roberto.bagnara(a)bugseng.com> + * doc/devref-language-interface.doxyconf.in, + doc/devref.doxyconf-html.in, doc/devref.doxyconf-latex.in, + doc/user-language-interface.doxyconf.in, doc/user.doxyconf-html.in, + doc/user.doxyconf-latex.in: Updated. + +2013-10-28 Roberto Bagnara <roberto.bagnara(a)bugseng.com> + + * src/globals_defs.hh: Worked around a Doxygen bug. + +2013-10-28 Roberto Bagnara <roberto.bagnara(a)bugseng.com> + + * NEWS: Updated. + +2013-10-28 Roberto Bagnara <roberto.bagnara(a)bugseng.com> + + * ChangeLog: Updated. + +2013-10-28 Roberto Bagnara <roberto.bagnara(a)bugseng.com> + * doc/definitions.dox: Label updated. 2013-10-28 Roberto Bagnara <roberto.bagnara(a)bugseng.com>

1 0

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 28 Oct '13

28 Oct '13

Module: ppl/ppl Branch: master Commit: dacf2193128a992f330ebfb76793dbd01d3efabe URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dacf2193128a… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Mon Oct 28 13:30:13 2013 +0100 Updated. --- ChangeLog | 19 +++++++++++++++++++ 1 files changed, 19 insertions(+), 0 deletions(-) diff --git a/ChangeLog b/ChangeLog index 6fd2e9e..3b08901 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,24 @@ 2013-10-28 Roberto Bagnara <roberto.bagnara(a)bugseng.com> + * doc/devref-language-interface.doxyconf.in, + doc/devref.doxyconf-html.in, doc/devref.doxyconf-latex.in, + doc/user-language-interface.doxyconf.in, doc/user.doxyconf-html.in, + doc/user.doxyconf-latex.in: Updated. + +2013-10-28 Roberto Bagnara <roberto.bagnara(a)bugseng.com> + + * src/globals_defs.hh: Worked around a Doxygen bug. + +2013-10-28 Roberto Bagnara <roberto.bagnara(a)bugseng.com> + + * NEWS: Updated. + +2013-10-28 Roberto Bagnara <roberto.bagnara(a)bugseng.com> + + * ChangeLog: Updated. + +2013-10-28 Roberto Bagnara <roberto.bagnara(a)bugseng.com> + * doc/definitions.dox: Label updated. 2013-10-28 Roberto Bagnara <roberto.bagnara(a)bugseng.com>

1 0

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 28 Oct '13

28 Oct '13

Module: ppl/ppl Branch: master Commit: bbcad29a4724c7ce307411a49f92138618225746 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bbcad29a4724… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Mon Oct 28 13:02:34 2013 +0100 Updated. --- doc/devref-language-interface.doxyconf.in | 20 ++++++++++++++++++-- doc/devref.doxyconf-html.in | 20 ++++++++++++++++++-- doc/devref.doxyconf-latex.in | 20 ++++++++++++++++++-- doc/user-language-interface.doxyconf.in | 20 ++++++++++++++++++-- doc/user.doxyconf-html.in | 20 ++++++++++++++++++-- doc/user.doxyconf-latex.in | 20 ++++++++++++++++++-- 6 files changed, 108 insertions(+), 12 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=bbcad29a…

1 0

[GIT] ppl/ppl(master): Worked around a Doxygen bug.
by Roberto Bagnara 28 Oct '13

28 Oct '13

Module: ppl/ppl Branch: master Commit: 637c3cfce1b6e6194cf4a7f8e1bdd473917fe472 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=637c3cfce1b6… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Mon Oct 28 12:42:02 2013 +0100 Worked around a Doxygen bug. --- src/globals_defs.hh | 5 +++++ 1 files changed, 5 insertions(+), 0 deletions(-) diff --git a/src/globals_defs.hh b/src/globals_defs.hh index 9ac1915..d5907b2 100644 --- a/src/globals_defs.hh +++ b/src/globals_defs.hh @@ -424,6 +424,9 @@ template <typename T, long long v, bool prefer_signed = true, struct Constant_ : public TConstant<T, v> { }; +//! \cond +// Keep Doxygen off until it learns how to deal properly with `||'. + template <typename T, long long v, bool prefer_signed> struct Constant_<T, v, prefer_signed, typename Enable_If<(Fit<typename C_Integer<T>::smaller_signed_type, v>::value @@ -440,6 +443,8 @@ struct Constant_<T, v, prefer_signed, : public Constant_<typename C_Integer<T>::smaller_unsigned_type, v, prefer_signed> { }; +//! \endcond + template <long long v, bool prefer_signed = true> struct Constant : public Constant_<long long, v, prefer_signed> { };

1 0