<div dir="ltr"><div><div>Dear Sir,<br><br></div>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.<br>
.<br>.<br>.<br><span style="color:rgb(102,0,0)"><i>make[1]: Entering directory `/home/leepians/ppl-0.9'<br>Making all in utils<br>make[2]: Entering directory `/home/leepians/ppl-0.9/utils'<br>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; \<br>
then mv -f ".deps/timings.Tpo" ".deps/timings.Po"; else rm -f ".deps/timings.Tpo"; exit 1; fi<br>timings.cc: In function ‘void start_clock()’:<br>timings.cc:53:11: error: ‘exit’ was not declared in this scope<br>
exit(1);<br> ^<br>timings.cc: In function ‘void print_clock(std::ostream&)’:<br>timings.cc:64:11: error: ‘exit’ was not declared in this scope<br> exit(1);<br> ^<br>make[2]: *** [timings.o] Error 1<br>
make[2]: Leaving directory `/home/leepians/ppl-0.9/utils'<br>make[1]: *** [all-recursive] Error 1<br>make[1]: Leaving directory `/home/leepians/ppl-0.9'<br>make: *** [all] Error 2</i></span><br><br><br></div><div>
I have used the following commands to install ppl 0.9<br><br><span style="color:rgb(53,28,117)"><i>C_INCLUDE_PATH=$MYPREFIX/include CXX_INCLUDE_PATH=$MYPREFIX/include LIBRARY_PATH=$MYPREFIX/lib ./configure --prefix=$MYPREFIX --with-libgmp-prefix=$MYPREFIX <br>
make<br>make install </i></span><br></div><div><br></div>Waiting for your positive response.<br>
</div><div class="gmail_extra"><br clear="all"><div><div dir="ltr"><div><span style="font-family:arial;font-size:small">Best Regards,</span><br></div><div><div style="font-family:arial;font-size:small"><b>Syed Sabah-ud-din Gilani</b></div>
</div></div></div>
<br><br><div class="gmail_quote">On Fri, Apr 4, 2014 at 8:49 AM, Roberto Bagnara <span dir="ltr"><<a href="mailto:bagnara@cs.unipr.it" target="_blank">bagnara@cs.unipr.it</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="HOEnZb"><div class="h5">Roberto Bagnara <<a href="mailto:bagnara@cs.unipr.it">bagnara@cs.unipr.it</a>> wrote:<br>
<br>
>Syed Sabah-ud-Din Gilani <<a href="mailto:leepianz@gmail.com">leepianz@gmail.com</a>> wrote:<br>
><br>
>>Dear Sir,<br>
>><br>
>>It seems to come from a use of string, and there are very few place in<br>
>>Phaver where strings are used. I have already discussed with Dr. Goran<br>
>>(Phaver author) but he told me that they did't tested Phaver with PPL<br>
>>0.9<br>
>>and later. He guided me to comment out methods that are excluded from<br>
>>ppl<br>
>>1.1 and I did it. Sir, could this error be due to those commented<br>
>>methods<br>
>>i.e shrink_bounding_box etc and if so, let me know the alternate<br>
>>methods.<br>
>><br>
>>Best Regards,<br>
>>*Syed Sabah-ud-din Gilani*<br>
>><br>
>><br>
>>On Thu, Apr 3, 2014 at 11:15 AM, Roberto Bagnara<br>
>><<a href="mailto:bagnara@cs.unipr.it">bagnara@cs.unipr.it</a>>wrote:<br>
>><br>
>>> Syed Sabah-ud-Din Gilani <<a href="mailto:leepianz@gmail.com">leepianz@gmail.com</a>> wrote:<br>
>>><br>
>>> >Dear Sir,<br>
>>> ><br>
>>> >I have attached the ppl-1.1 'config.log' file. Actually I am<br>
>working<br>
>>on<br>
>>> >Phaver hybrid model checker that uses PPL. After configuring<br>
>>everything<br>
>>> >successfully when I start checking my model in Phaver it generates<br>
>>> >error. I<br>
>>> >have also mentioned my input and resulting output below.<br>
>>> ><br>
>>> >*Input:*<br>
>>> >-bash-3.2$ *./phaver mutex_2.pha *<br>
>>> ><br>
>>> >Note: mutex_2.pha is a phaver file that contains model to parse and<br>
>>> >verify.<br>
>>> ><br>
>>> >*Output:*<br>
>>> ><br>
>>> > Parsing file mutex_2.pha.<br>
>>> > -------------------------<br>
>>> >File Opened<br>
>>> >YY Parse started<br>
>>> >terminate called after throwing an instance of 'std::out_of_range'<br>
>>> > what(): basic_string::substr<br>
>>> >Aborted<br>
>>> >-bash-3.2$<br>
>>> ><br>
>>> >I am waiting and will be very glade to have your positive<br>
>response.<br>
>>> ><br>
>>> ><br>
>>> >Best Regards,<br>
>>> >*Syed Sabah-ud-din Gilani*<br>
>>> ><br>
>>> ><br>
>>> >---------- Forwarded message ----------<br>
>>> >From: Roberto Bagnara <<a href="mailto:bagnara@cs.unipr.it">bagnara@cs.unipr.it</a>><br>
>>> >Date: Fri, Mar 21, 2014 at 12:45 PM<br>
>>> >Subject: Re: [PPL-devel] Fwd: PPL Interface Issue<br>
>>> >To: Syed Sabah-ud-Din Gilani <<a href="mailto:leepianz@gmail.com">leepianz@gmail.com</a>><br>
>>> >Cc: The Parma Polyhedra Library developers' list<br>
>>> ><<a href="mailto:ppl-devel@cs.unipr.it">ppl-devel@cs.unipr.it</a>><br>
>>> ><br>
>>> ><br>
>>> >On 03/21/14 08:13, Syed Sabah-ud-Din Gilani wrote:<br>
>>> >> I have used ppl 0.9 in my project, now I am upgrading it to ppl<br>
>>1.1,<br>
>>> >during compilation I had ppl interface issue i.e.<br>
>>*shrink_bounding_box*<br>
>>> >and<br>
>>> >some other functions not found. I have commented all these<br>
>functions<br>
>>> >and<br>
>>> >compiled my project successfully, now when I try to parse some file<br>
>>it<br>
>>> >returns me the following error:<br>
>>> >> *<br>
>>> >> *<br>
>>> >> *terminate called after throwing an instance of<br>
>>'std::out_of_range'*<br>
>>> >> * what(): basic_string::substr*<br>
>>> >> *Aborted*<br>
>>> >><br>
>>> >> I want guidelines and will be glade to have you positive<br>
>response.<br>
>>> ><br>
>>> >Dear Syed,<br>
>>> ><br>
>>> >more details are needed. Please explain what exactly is happening,<br>
>>> >include the exact output you obtain from the compiler, explain what<br>
>>> >you mean by "when I try to parse some file", and include the<br>
>>> >`config.log' file that is generated by the `configure'<br>
>>> >script with which you configured PPL 1.1.<br>
>>> >Kind regards,<br>
>>> ><br>
>>> > Roberto<br>
>>> ><br>
>>> >--<br>
>>> > Prof. Roberto Bagnara<br>
>>> ><br>
>>> >Applied Formal Methods Laboratory - University of Parma, Italy<br>
>>> >mailto:<a href="mailto:bagnara@cs.unipr.it">bagnara@cs.unipr.it</a><br>
>>> > BUGSENG srl - <a href="http://bugseng.com" target="_blank">http://bugseng.com</a><br>
>>> > mailto:<a href="mailto:roberto.bagnara@bugseng.com">roberto.bagnara@bugseng.com</a><br>
>>><br>
>>> Hello Syed. What makes you think the problem is related to the PPL?<br>
><br>
>>From<br>
>>> the output message you provided I see nothing suggesting this. Did<br>
>>you get<br>
>>> in touch with the Phaver authors/maintainers?<br>
>>> Kind regards,<br>
>>><br>
>>> Roberto<br>
>>> --<br>
>>> Sent from my Android phone with K-9 Mail. Please excuse my brevity.<br>
>>><br>
>><br>
>><br>
>>------------------------------------------------------------------------<br>
>><br>
>>_______________________________________________<br>
>>PPL-devel mailing list<br>
>><a href="mailto:PPL-devel@cs.unipr.it">PPL-devel@cs.unipr.it</a><br>
>><a href="http://www.cs.unipr.it/mailman/listinfo/ppl-devel" target="_blank">http://www.cs.unipr.it/mailman/listinfo/ppl-devel</a><br>
><br>
>Dear Syed, I cannot check myself right now, but if you look at the PPL<br>
>sources, you should see that string::substr() is only used (indirectly)<br>
>in methods called ascii_load(). I very much doubt the ascii_load(),<br>
>but please check that as well. If I am correct, then your observation<br>
>has nothing to do with the PPL.<br>
>Kind regards,<br>
><br>
> Roberto<br>
>--<br>
>Sent from my Android phone with K-9 Mail. Please excuse my brevity.<br>
>_______________________________________________<br>
>PPL-devel mailing list<br>
><a href="mailto:PPL-devel@cs.unipr.it">PPL-devel@cs.unipr.it</a><br>
><a href="http://www.cs.unipr.it/mailman/listinfo/ppl-devel" target="_blank">http://www.cs.unipr.it/mailman/listinfo/ppl-devel</a><br>
<br>
</div></div>Sorry: one sentence got cut. I meant to tell you that I very much doubt Phaver uses the ascii_load() methods: please check that.<br>
<div class="HOEnZb"><div class="h5">--<br>
Sent from my Android phone with K-9 Mail. Please excuse my brevity.<br>
</div></div></blockquote></div><br></div>