[PPL-devel] PPL and integer programming

[Roberto Bagnara]

Andy Moser wrote:
> Hi Roberto,
> 
>> we are working on it.  We need to solve a few packaging problems and make
>> sure the snapshot passes all the safety checks.  Which platform are you
>> using?  Which version of which compiler?  If your configuration is similar
>> enough to ours, we count on having a snapshot ready for you by Friday.
> 
> That would be great!! Right now I'm using Ubuntu Linux 6.10 and gcc
> version 3.4. Do you think this is similar enough? :)
> 
> Thanks a lot!
> 
> Regards,
> Andy
> 
> 
> andy at quiksilver:~/workspace/qemu$ gcc-3.4 --version
> gcc-3.4 (GCC) 3.4.6 (Ubuntu 3.4.6-3ubuntu1)

Hmm, I am not sure your version of GCC is recent enough to compile
a snapshot of PPL 0.10.  While we are working on the snapshot release,
I suggest you install GCC 4.1.1 somewhere on your machine, just in case
3.4.6 does not work.

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