From: David Billinghurst <dbcygwin@gmail.com>
To: cygwin-announce@cygwin.com
Subject: [1.7] pl-0.10.2-1 - the Parma Polyhedra Library
Date: Thu, 30 Apr 2009 14:04:00 -0000 [thread overview]
Message-ID: <49F9A229.1070908@gmail.com> (raw)
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.
reply other threads:[~2009-04-30 14:04 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=49F9A229.1070908@gmail.com \
--to=dbcygwin@gmail.com \
--cc=cygwin-announce@cygwin.com \
--cc=cygwin@cygwin.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).