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