1Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> 2Copyright (C) 2010-2016 BUGSENG srl (http://bugseng.com) 3See below for the copying conditions. 4 5 6Configuration of the Parma Polyhedra Library on Solaris 7======================================================= 8 9Build problems have been reported for Solaris 10, affecting the build 10of the (C, Java, ...) language interfaces, which are due to the use of an 11incompatible version of sed: 12 13 https://www.cs.unipr.it/mantis/view.php?id=103 14 15The solution is to install and use GNU sed. 16This is recommended, even if only the C++ language interface is used. 17 18 19-------- 20 21Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> 22Copyright (C) 2010-2016 BUGSENG srl (http://bugseng.com) 23 24This document describes the Parma Polyhedra Library (PPL). 25 26Permission is granted to copy, distribute and/or modify this document 27under the terms of the GNU Free Documentation License, Version 1.2 28or any later version published by the Free Software Foundation; 29with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. 30The license is included, in various formats, in the `doc' subdirectory 31of each distribution of the PPL in files named `fdl.*'. 32 33The PPL is free software; you can redistribute it and/or modify it 34under the terms of the GNU General Public License as published by the 35Free Software Foundation; either version 3 of the License, or (at your 36option) any later version. The license is included, in various 37formats, in the `doc' subdirectory of each distribution of the PPL in 38files named `gpl.*'. 39 40The PPL is distributed in the hope that it will be useful, but WITHOUT 41ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or 42FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License 43for more details. 44 45If you have not received a copy of one or both the above mentioned 46licenses along with the PPL, write to the Free Software Foundation, 47Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. 48 49For the most up-to-date information see the Parma Polyhedra Library 50site: http://bugseng.com/products/ppl/ . 51