Copyright (C) 2001-2010 Roberto Bagnara Copyright (C) 2010-2013 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 Copyright (C) 2010-2013 BUGSENG srl (http://bugseng.com) This document describes 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 named `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 named `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/ .