[klee-dev] STP failing to compile on Bison 3.0 (patch included)

[Vijay Ganesh]

Hi All,

As Delcypher just mentioned, Ryan Govostes has created an STP repo on
Github. This is going to be the official repo.

Ryan and Mate Soos have been doing an incredible job of cleaning up the STP
code over the last few days. Many long standing patches can now be easily
applied.

Cheers,
Vijay Ganesh
https://ece.uwaterloo.ca/~vganesh



On Thu, Sep 5, 2013 at 5:06 PM, Delcypher <delcypher at gmail.com> wrote:

> Hi Ryan,
>
> Thanks for your hard work setting up a STP repository on GitHub.
>
> I've made a pull request https://github.com/stp/stp/pull/15
>
> This includes the previously mentioned patch and another patch (won't
> be needed if CMake migration succeeds) that fixes an infinite loop
> during build.
>
> I'm surprised you haven't announced the repository on the mailing list
> yet (or on the KLEE mailing list) because looking at the issue tracker
> things seem quite active. Perhaps now would be a good time to announce it?
>
> Thanks,
> Dan
>
> On 5 September 2013 10:06, Ryan Govostes <rgovostes at gmail.com> wrote:
> > Hi Dan,
> >
> > Would you consider submitting this as a pull request to the GitHub
> > repository at https://github.com/stp/stp ?
> >
> > Thanks,
> > Ryan
> >
> > On Friday, August 16, 2013 10:32:05 AM UTC-7, Dan Liew wrote:
> >>
> >> Hi,
> >>
> >> STP will not compile under Bison 3.0 because a long deprecated feature
> >> (YYPARSE_PARAM macro) that the cvc and smt parsers use has been dropped.
> >>
> >> This is mentioned at
> http://savannah.gnu.org/forum/forum.php?forum_id=7663
> >> which says
> >>
> >> "
> >>   Support for YYLEX_PARAM and YYPARSE_PARAM is removed (deprecated in
> >> Bison
> >>   1.875): use %lex-param, %parse-param, or %param.
> >> "
> >>
> >> Attached is a patch that fixes this issue.
> >>
> >> Please consider applying this patch to the mainline so others can
> benefit.
> >>
> >> Thanks,
> >> Dan Liew.
> >
> > --
> >
> > ---
> > You received this message because you are subscribed to the Google Groups
> > "stp-users" group.
> > To unsubscribe from this group and stop receiving emails from it, send an
> > email to stp-users+unsubscribe at googlegroups.com.
> > For more options, visit https://groups.google.com/groups/opt_out.
>
> --
>
> ---
> You received this message because you are subscribed to the Google Groups
> "stp-users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to stp-users+unsubscribe at googlegroups.com.
> For more options, visit https://groups.google.com/groups/opt_out.
>
-------------- next part --------------
HTML attachment scrubbed and removed