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