[Fwd: Re: [PPL-devel] PPL Query]

[Roberto Bagnara]

-------- Original Message --------
Subject: Re: [PPL-devel] PPL Query
Date: Tue, 13 Jun 2006 14:22:28 +0200 (CEST)
From: Vishal Lahoti <lahoti at liafa.jussieu.fr>
To: Roberto Bagnara <bagnara at cs.unipr.it>
References: <Pine.LNX.4.64.0606081415080.7045 at liafa0q.liafa.jussieu.fr> <4489133D.9080700 at cs.unipr.it> <Pine.LNX.4.64.0606091245360.14548 at liafa0q.liafa.jussieu.fr> <448AC555.5030302 at cs.unipr.it> <Pine.LNX.4.64.0606121052440.2730 at liafa0q.liafa.jussieu.fr> <448D7B7B.1040706 at cs.unipr.it>

Dear Roberto,
Thanks a lot for your attention. The problem was in the order of linking
of the libraries which is now sorted and i have it running now.

Good luck and Best Regards,
Vishal


On Mon, 12 Jun 2006, Roberto Bagnara wrote:

> Vishal Lahoti wrote:
>> I did send the attatchment. It is a tar ball of files. Perhaps the mailing 
>> list did not accept the attatchment I suppose. So I am resending the mail 
>> to your account. The changes were made in PPL 0.9. Other information
>> 
>> Archietecture iX86
>> OS Fedora Core 4
>> GCC version 4.0.2
>> GMP version 4.1.4
>> 
>> Please find the file attatched. Once again, Thanks for your response.
>
> Dear Vishal,
>
> the files you sent look strange:
>
> 1) new2.cc uses the same macros used by the PPL tests and is based
>   on exactly the same assumptions.  So it should be added to
>   tests/Makefile.am to be compiled and linked properly.
>
> 2) makefile suggests that the intention is to use it as a stand-alone
>   program.
>
> Assuming that 2) is what you want, I have edited new2.cc so as to
> obtain new3.cc (below the signature).  It can be compiled and executed
> as follows:
>
> $ g++ -W -Wall new3.cc -lppl -lgmpxx -lgmp
> $ a.out
> *** ph1 ***
> A - B + C + E >= 0, A - B + D >= 0, C - D >= 0, -D + E >= 0, D >= 0
> *** ph1 after one affine image ***
> A - B + 2*C + E >= 2, A - B + C + D >= 2, C - D >= 0, -D + E >= 0, D >= 0
> *** ph1 after two affine image ***
> A - B + 3*C + E >= 4, A - B + 2*C + D >= 4, C - D >= 0, -D + E >= 0, D >= 0
>
> extrapolation failed
>
> You will have to add the needed -L and -I options to the compilation command,
> if you install GMP and/or the PPL into a non standard place.
> 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