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