[PPL-devel] PPL Installation

[Roberto Bagnara]

"Roberto Garrido" <garrido.roberto at gmail.com> wrote:
 > I have some questions about PPL:
 >
 > 1- How to install PPL in  Cygwin?
 > 2- Is there a PPL version for windows?
 >
 > Thanks

Dear Roberto,

the installation of PPL under Cygwin should be possible
by a simple "configure ; make ; make install".  The only
thing is that you must have GCC version 4.0.3 or later installed.
As far as I know, Cygwin is currently the only way to have the
Parma Polyhedra Library running under Windows.
All the best,

    Roberto

P.S.  Notice that the right list for questions and comments
       is ppl-devel at cs.unipr.it (not ppl-announce at cs.unipr.it,
       which is a read-only list devoted to important announcements
       concerning the PPL).

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it