[Fwd: Re: [PPL-devel] Compiling PPL under Cygwin?]

[Roberto Bagnara]

-------- Original Message --------
Subject: Re: [PPL-devel] Compiling PPL under Cygwin?
Date: Wed, 25 Aug 2004 16:52:28 -0400
From: Goran Frehse <gfrehse at ece.cmu.edu>
To: Roberto Bagnara <bagnara at cs.unipr.it>
References: <402A51EB.60609 at andrew.cmu.edu> <402AA44B.2010702 at cs.unipr.it> <402A77E8.2000907 at andrew.cmu.edu> <41249897.9060800 at cs.unipr.it>

Dear Roberto,

congratulations on the new version. I will try it asap, and I'm
particularly excited about the faster map_dimensions routine.

If I understand correctly, the PowerSets are finite unions of polyhedra,
so I guess I could use those instead of my own implementation. We'll see
who's are faster ;-) But seriously, this is great.
Do you plan to implement all boolean operations (union, intersection,
difference)?

Thanks for trying out the Cygwin installation. These are good news.

Best wishes,
Goran


Roberto Bagnara wrote:

> Goran Frehse wrote:
> 
>> Actually I just noticed that somebody answered my request in the 
>> Cygwin mailing list about this. It turns out that the paths in the .la 
>> files are wrong and must be corrected by hand in the current 
>> installation.
>> For details, see:
>> http://cygwin.com/ml/cygwin/2004-02/msg00304.html
> 
> 
> Dear Goran,
> 
> I have just tried a fresh installation of GMP 4.1.3 and PPL 0.6
> (just released) on the latest Cygwin distribution.  I followed
> exactly the same procedure I follow on GNU/Linux systems
> and it worked immediately.  I take this as an indication that
> the problems you experienced some time ago have been solved.
> All the best,
> 
>     Roberto
> 


-- 
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