Hello.
PPL 0.9 is a very old release and it is no longer maintained. Please download the latest version and use that one.
On 05/15/14 15:17, Syed Sabah-ud-Din Gilani wrote:
I am getting following error during installing ppl 0.9 and have gmp 4.2.2 installed on my ubuntu 32 bit operating system. I have also attached the 'config.log' file in mail. I need your guidlines. . . . /make[1]: Entering directory `/home/leepians/ppl-0.9' Making all in utils make[2]: Entering directory `/home/leepians/ppl-0.9/utils' if g++ -DHAVE_CONFIG_H -I. -I. -I.. -I/home/leepians/local/include -W -Wall -g -O2 -MT timings.o -MD -MP -MF ".deps/timings.Tpo" -c -o timings.o timings.cc; \ then mv -f ".deps/timings.Tpo" ".deps/timings.Po"; else rm -f ".deps/timings.Tpo"; exit 1; fi timings.cc: In function ‘void start_clock()’: timings.cc:53:11: error: ‘exit’ was not declared in this scope exit(1); ^ timings.cc: In function ‘void print_clock(std::ostream&)’: timings.cc:64:11: error: ‘exit’ was not declared in this scope exit(1); ^ make[2]: *** [timings.o] Error 1 make[2]: Leaving directory `/home/leepians/ppl-0.9/utils' make[1]: *** [all-recursive] Error 1 make[1]: Leaving directory `/home/leepians/ppl-0.9' make: *** [all] Error 2/
This was fixed 6.5 years ago:
commit f31fe07c6482a3fd5175a3400d0521c795bfb408 Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Dec 29 17:42:00 2007 +0000
Include <cstdlib> for exit().
I have used the following commands to install ppl 0.9
/C_INCLUDE_PATH=$MYPREFIX/include CXX_INCLUDE_PATH=$MYPREFIX/include LIBRARY_PATH=$MYPREFIX/lib ./configure --prefix=$MYPREFIX --with-libgmp-prefix=$MYPREFIX
What are you trying to achieve by defining C_INCLUDE_PATH, CXX_INCLUDE_PATH and LIBRARY_PATH this way? Kind regards,
Roberto
On Fri, Apr 4, 2014 at 8:49 AM, Roberto Bagnara <bagnara@cs.unipr.it mailto:bagnara@cs.unipr.it> wrote:
Roberto Bagnara <bagnara@cs.unipr.it <mailto:bagnara@cs.unipr.it>> wrote: >Syed Sabah-ud-Din Gilani <leepianz@gmail.com <mailto:leepianz@gmail.com>> wrote: > >>Dear Sir, >> >>It seems to come from a use of string, and there are very few place in >>Phaver where strings are used. I have already discussed with Dr. Goran >>(Phaver author) but he told me that they did't tested Phaver with PPL >>0.9 >>and later. He guided me to comment out methods that are excluded from >>ppl >>1.1 and I did it. Sir, could this error be due to those commented >>methods >>i.e shrink_bounding_box etc and if so, let me know the alternate >>methods. >> >>Best Regards, >>*Syed Sabah-ud-din Gilani* >> >> >>On Thu, Apr 3, 2014 at 11:15 AM, Roberto Bagnara >><bagnara@cs.unipr.it <mailto:bagnara@cs.unipr.it>>wrote: >> >>> Syed Sabah-ud-Din Gilani <leepianz@gmail.com <mailto:leepianz@gmail.com>> wrote: >>> >>> >Dear Sir, >>> > >>> >I have attached the ppl-1.1 'config.log' file. Actually I am >working >>on >>> >Phaver hybrid model checker that uses PPL. After configuring >>everything >>> >successfully when I start checking my model in Phaver it generates >>> >error. I >>> >have also mentioned my input and resulting output below. >>> > >>> >*Input:* >>> >-bash-3.2$ *./phaver mutex_2.pha * >>> > >>> >Note: mutex_2.pha is a phaver file that contains model to parse and >>> >verify. >>> > >>> >*Output:* >>> > >>> > Parsing file mutex_2.pha. >>> > ------------------------- >>> >File Opened >>> >YY Parse started >>> >terminate called after throwing an instance of 'std::out_of_range' >>> > what(): basic_string::substr >>> >Aborted >>> >-bash-3.2$ >>> > >>> >I am waiting and will be very glade to have your positive >response. >>> > >>> > >>> >Best Regards, >>> >*Syed Sabah-ud-din Gilani* >>> > >>> > >>> >---------- Forwarded message ---------- >>> >From: Roberto Bagnara <bagnara@cs.unipr.it <mailto:bagnara@cs.unipr.it>> >>> >Date: Fri, Mar 21, 2014 at 12:45 PM >>> >Subject: Re: [PPL-devel] Fwd: PPL Interface Issue >>> >To: Syed Sabah-ud-Din Gilani <leepianz@gmail.com <mailto:leepianz@gmail.com>> >>> >Cc: The Parma Polyhedra Library developers' list >>> ><ppl-devel@cs.unipr.it <mailto:ppl-devel@cs.unipr.it>> >>> > >>> > >>> >On 03/21/14 08:13, Syed Sabah-ud-Din Gilani wrote: >>> >> I have used ppl 0.9 in my project, now I am upgrading it to ppl >>1.1, >>> >during compilation I had ppl interface issue i.e. >>*shrink_bounding_box* >>> >and >>> >some other functions not found. I have commented all these >functions >>> >and >>> >compiled my project successfully, now when I try to parse some file >>it >>> >returns me the following error: >>> >> * >>> >> * >>> >> *terminate called after throwing an instance of >>'std::out_of_range'* >>> >> * what(): basic_string::substr* >>> >> *Aborted* >>> >> >>> >> I want guidelines and will be glade to have you positive >response. >>> > >>> >Dear Syed, >>> > >>> >more details are needed. Please explain what exactly is happening, >>> >include the exact output you obtain from the compiler, explain what >>> >you mean by "when I try to parse some file", and include the >>> >`config.log' file that is generated by the `configure' >>> >script with which you configured PPL 1.1. >>> >Kind regards, >>> > >>> > Roberto >>> > >>> >-- >>> > Prof. Roberto Bagnara >>> > >>> >Applied Formal Methods Laboratory - University of Parma, Italy >>> >mailto:bagnara@cs.unipr.it <mailto:bagnara@cs.unipr.it> >>> > BUGSENG srl - http://bugseng.com >>> > mailto:roberto.bagnara@bugseng.com <mailto:roberto.bagnara@bugseng.com> >>> >>> Hello Syed. What makes you think the problem is related to the PPL? > >>From >>> the output message you provided I see nothing suggesting this. Did >>you get >>> in touch with the Phaver authors/maintainers? >>> Kind regards, >>> >>> Roberto >>> -- >>> Sent from my Android phone with K-9 Mail. Please excuse my brevity. >>> >> >> >>------------------------------------------------------------------------ >> >>_______________________________________________ >>PPL-devel mailing list >>PPL-devel@cs.unipr.it <mailto:PPL-devel@cs.unipr.it> >>http://www.cs.unipr.it/mailman/listinfo/ppl-devel > >Dear Syed, I cannot check myself right now, but if you look at the PPL >sources, you should see that string::substr() is only used (indirectly) >in methods called ascii_load(). I very much doubt the ascii_load(), >but please check that as well. If I am correct, then your observation >has nothing to do with the PPL. >Kind regards, > > Roberto >-- >Sent from my Android phone with K-9 Mail. Please excuse my brevity. >_______________________________________________ >PPL-devel mailing list >PPL-devel@cs.unipr.it <mailto:PPL-devel@cs.unipr.it> >http://www.cs.unipr.it/mailman/listinfo/ppl-devel Sorry: one sentence got cut. I meant to tell you that I very much doubt Phaver uses the ascii_load() methods: please check that. -- Sent from my Android phone with K-9 Mail. Please excuse my brevity.