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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Mar 17 15:26:01 2012 +0100

Made uniform as far as the copyright message and licensing conditions are concerned.

---

README.alpha | 52 +++++++++++++++++++++++++++++++-------- README.arm | 72 +++++++++++++++++++++++++++++++++++++++---------------- README.solaris | 54 ++++++++++++++++++++++++++++++++--------- 3 files changed, 134 insertions(+), 44 deletions(-)

diff --git a/README.alpha b/README.alpha index ffeb4fc..64f9985 100644 --- a/README.alpha +++ b/README.alpha @@ -1,14 +1,10 @@ -# Copyright (C) 2001-2010 Roberto Bagnara bagnara@cs.unipr.it -# Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) -# -# This file is free software; as a special exception the author gives -# unlimited permission to copy and/or distribute it, with or without -# modifications, as long as this notice is preserved. -# -# This program is distributed in the hope that it will be useful, but -# WITHOUT ANY WARRANTY, to the extent permitted by law; without even the -# implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR -# PURPOSE. +Copyright (C) 2001-2010 Roberto Bagnara bagnara@cs.unipr.it +Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) +See below for the copying conditions. + + +Configuration of the Parma Polyhedra Library on the Alpha +=========================================================

There appears to be a bug in GCC (all versions up to and including 4.3.x) concerning exception handling on the Alpha. This may be @@ -27,3 +23,37 @@ In other words, under this hypothesis (which we have no way to check), users that are not interested in catching exceptions thrown by the PPL (in response to invalid arguments, heap exhaustion, overflows, ...) should probably not worry. Your mileage may vary... + + +-------- + +Copyright (C) 2001-2010 Roberto Bagnara bagnara@cs.unipr.it +Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + +This file is part of the Parma Polyhedra Library (PPL). + +Permission is granted to copy, distribute and/or modify this document +under the terms of the GNU Free Documentation License, Version 1.2 or +any later version published by the Free Software Foundation; with no +Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. +The license is included, in various formats, in the `doc' subdirectory +of each distribution of the PPL in files called `fdl.*'. + +The PPL is free software; you can redistribute it and/or modify it +under the terms of the GNU General Public License as published by the +Free Software Foundation; either version 3 of the License, or (at your +option) any later version. The license is included, in various +formats, in the `doc' subdirectory of each distribution of the PPL in +files called `gpl.*'. + +The PPL is distributed in the hope that it will be useful, but WITHOUT +ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or +FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License +for more details. + +If you have not received a copy of one or both the above mentioned +licenses along with the PPL, write to the Free Software Foundation, +Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. + +For the most up-to-date information see the Parma Polyhedra Library +site: http://bugseng.com/products/ppl/ . diff --git a/README.arm b/README.arm index 191d3dc..ee5f8fa 100644 --- a/README.arm +++ b/README.arm @@ -1,24 +1,54 @@ -# Copyright (C) 2001-2010 Roberto Bagnara bagnara@cs.unipr.it -# Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) -# -# This file is free software; as a special exception the author gives -# unlimited permission to copy and/or distribute it, with or without -# modifications, as long as this notice is preserved. -# -# This program is distributed in the hope that it will be useful, but -# WITHOUT ANY WARRANTY, to the extent permitted by law; without even the -# implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR -# PURPOSE. - -On the ARM, whether or not the rounding mode can be set in a way that allows -the PPL to work with floating point numbers, will depend on the actual -hardware. However, disabling the affected PPL code at run-time is -impractical. Thus, to ensure that the binary distributions of the PPL for the -ARM work as expected on any hardware, on the ARM, the affected code -is disabled at compile-time. It is still possible to build a binary -for the ARM that assumes the hardware can control the rounding mode; -for this, configure the PPL with `-DPPL_ARM_CAN_CONTROL_FPU=1' included in -CPPFLAGS. +Copyright (C) 2001-2010 Roberto Bagnara bagnara@cs.unipr.it +Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) +See below for the copying conditions. + + +Configuration of the Parma Polyhedra Library on the ARM +======================================================= + +On the ARM, whether or not the rounding mode can be set in a way that +allows the PPL to work with floating point numbers, will depend on the +actual hardware. However, disabling the affected PPL code at run-time +is impractical. Thus, to ensure that the binary distributions of the +PPL for the ARM work as expected on any hardware, on the ARM, the +affected code is disabled at compile-time. It is still possible to +build a binary for the ARM that assumes the hardware can control the +rounding mode; for this, configure the PPL with +`-DPPL_ARM_CAN_CONTROL_FPU=1' included in CPPFLAGS. For example:

CPPFLAGS="-DPPL_ARM_CAN_CONTROL_FPU=1" .../configure ... + + +-------- + +Copyright (C) 2001-2010 Roberto Bagnara bagnara@cs.unipr.it +Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + +This file is part of the Parma Polyhedra Library (PPL). + +Permission is granted to copy, distribute and/or modify this document +under the terms of the GNU Free Documentation License, Version 1.2 or +any later version published by the Free Software Foundation; with no +Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. +The license is included, in various formats, in the `doc' subdirectory +of each distribution of the PPL in files called `fdl.*'. + +The PPL is free software; you can redistribute it and/or modify it +under the terms of the GNU General Public License as published by the +Free Software Foundation; either version 3 of the License, or (at your +option) any later version. The license is included, in various +formats, in the `doc' subdirectory of each distribution of the PPL in +files called `gpl.*'. + +The PPL is distributed in the hope that it will be useful, but WITHOUT +ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or +FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License +for more details. + +If you have not received a copy of one or both the above mentioned +licenses along with the PPL, write to the Free Software Foundation, +Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. + +For the most up-to-date information see the Parma Polyhedra Library +site: http://bugseng.com/products/ppl/ . diff --git a/README.solaris b/README.solaris index a680164..3e57785 100644 --- a/README.solaris +++ b/README.solaris @@ -1,14 +1,10 @@ -# Copyright (C) 2001-2010 Roberto Bagnara bagnara@cs.unipr.it -# Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) -# -# This file is free software; as a special exception the author gives -# unlimited permission to copy and/or distribute it, with or without -# modifications, as long as this notice is preserved. -# -# This program is distributed in the hope that it will be useful, but -# WITHOUT ANY WARRANTY, to the extent permitted by law; without even the -# implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR -# PURPOSE. +Copyright (C) 2001-2010 Roberto Bagnara bagnara@cs.unipr.it +Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) +See below for the copying conditions. + + +Configuration of the Parma Polyhedra Library on Solaris +=======================================================

Build problems have been reported for Solaris 10, affecting the build of the (C, Java, ...) language interfaces, which are due to the use of an @@ -17,4 +13,38 @@ incompatible version of sed: https://www.cs.unipr.it/mantis/view.php?id=103

The solution is to install and use GNU sed. -This is recommended, even when only using the C++ language interface. +This is recommended, even if only the C++ language interface is used. + + +-------- + +Copyright (C) 2001-2010 Roberto Bagnara bagnara@cs.unipr.it +Copyright (C) 2010-2012 BUGSENG srl (http://bugseng.com) + +This file is part of the Parma Polyhedra Library (PPL). + +Permission is granted to copy, distribute and/or modify this document +under the terms of the GNU Free Documentation License, Version 1.2 or +any later version published by the Free Software Foundation; with no +Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. +The license is included, in various formats, in the `doc' subdirectory +of each distribution of the PPL in files called `fdl.*'. + +The PPL is free software; you can redistribute it and/or modify it +under the terms of the GNU General Public License as published by the +Free Software Foundation; either version 3 of the License, or (at your +option) any later version. The license is included, in various +formats, in the `doc' subdirectory of each distribution of the PPL in +files called `gpl.*'. + +The PPL is distributed in the hope that it will be useful, but WITHOUT +ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or +FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License +for more details. + +If you have not received a copy of one or both the above mentioned +licenses along with the PPL, write to the Free Software Foundation, +Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. + +For the most up-to-date information see the Parma Polyhedra Library +site: http://bugseng.com/products/ppl/ .