delorie.com/archives/browse.cgi | search |
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/
webmaster | delorie software privacy |
Copyright © 2019 by DJ Delorie | Updated Jul 2019 |