[PPL-devel] Fwd: Fwd: PPL Interface Issue
Syed Sabah-ud-Din Gilani
leepianz at gmail.com
Thu May 15 15:17:21 CEST 2014
Dear Sir,
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
utilsmake[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; fitimings.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 1make[1]: Leaving directory
`/home/leepians/ppl-0.9'make: *** [all] Error 2*
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 makemake install *
Waiting for your positive response.
Best Regards,
*Syed Sabah-ud-din Gilani*
On Fri, Apr 4, 2014 at 8:49 AM, Roberto Bagnara <bagnara at cs.unipr.it> wrote:
> Roberto Bagnara <bagnara at cs.unipr.it> wrote:
>
> >Syed Sabah-ud-Din Gilani <leepianz at 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 at cs.unipr.it>wrote:
> >>
> >>> Syed Sabah-ud-Din Gilani <leepianz at 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 at 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 at gmail.com>
> >>> >Cc: The Parma Polyhedra Library developers' list
> >>> ><ppl-devel at 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 at cs.unipr.it
> >>> > BUGSENG srl - http://bugseng.com
> >>> > mailto:roberto.bagnara at 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 at 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 at 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.
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20140515/118818aa/attachment.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: config.log
Type: text/x-log
Size: 96436 bytes
Desc: not available
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20140515/118818aa/attachment.bin>
More information about the PPL-devel
mailing list