X-Recipient:	archive-cygwin AT delorie DOT com
X-SWARE-Spam-Status:	No, hits=-3.0 required=5.0 tests=ALL_TRUSTED,AWL,BAYES_50
X-Spam-Check-By:	sourceware.org
X-SWARE-Spam-Status:	No, hits=-2.4 required=5.0 tests=AWL,BAYES_00,SPF_PASS
Message-Id:	<announce.49F9A229.1070908@gmail.com>
Date:	Thu, 30 Apr 2009 23:05:45 +1000
From:	David Billinghurst <dbcygwin AT gmail DOT com>
User-Agent:	Thunderbird 2.0.0.21 (Windows/20090302)
MIME-Version:	1.0
To:	cygwin AT cygwin DOT com
Subject:	[ANNOUNCEMENT] [1.7] pl-0.10.2-1 - the Parma Polyhedra Library
Reply-To:	cygwin AT cygwin DOT com
X-IsSubscribed:	yes
Mailing-List:	contact cygwin-help AT cygwin DOT com; run by ezmlm
List-Id:	<cygwin.cygwin.com>
List-Subscribe:	<mailto:cygwin-subscribe AT cygwin DOT com>
List-Archive:	<http://sourceware.org/ml/cygwin/>
List-Post:	<mailto:cygwin AT cygwin DOT com>
List-Help:	<mailto:cygwin-help AT cygwin DOT com>, <http://sourceware.org/ml/#faqs>
Sender:	cygwin-owner AT cygwin DOT com
Mail-Followup-To:	cygwin AT cygwin DOT com
Delivered-To:	mailing list cygwin AT cygwin DOT com

Version ppl-0.10.2-1 of the Parma Polyhedra Library (PPL) has been released.

PACKAGE DESCRIPTION
===================

Homepage: http://www.cs.unipr.it/ppl/
License : GNU GPL 3 or later

The Parma Polyhedra Library (PPL) provides numerical abstractions specially targeted at applications 
in the field of analysis and verification of complex systems. These abstractions include convex 
polyhedra, defined as the intersection of a finite number of (open or closed) halfspaces, each 
described by a linear inequality (strict or on-strict) with rational coefficients; some special 
classes of polyhedra shapes that offer interesting complexity/precision tradeoffs; and grids which 
represent regularly spaced points that satisfy a set of linear congruence relations.

This package is needed to build GCC 4.4 with the Graphite loop optimizations - 
http://gcc.gnu.org/install/prerequisites.html.  The package includes > 4 MB of documentation, which 
is packaged separately

The cygwin PPL release comprises four packages
   libppl - the run time libraries
   ppl-devel - the headers and link libraries
   ppl - man pages, licenses, etc
   ppl-doc - 4 MB of documentation

INSTALL OR UPGRADE NOTES
========================

Standard install built with gcc-4.3.2 and g++-4.3.2.  For correct functionality, users may need to 
link applications with LDFLAGS=-Wl,--enable-auto-import.  The majority of the PPL tests fail when 
built without this option.

PPL was built with the C++ and C interfaces. Other interfaces may be provided, if requested, in 
future Cygwin releases.

--
Unsubscribe info:      http://cygwin.com/ml/#unsubscribe-simple
Problem reports:       http://cygwin.com/problems.html
Documentation:         http://cygwin.com/docs.html
FAQ:                   http://cygwin.com/faq/

- Raw text -