STP failing to compile on Bison 3.0 (patch included)

[Dan Liew]

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.

[Ryan Govostes]

Hi Dan,

Would you consider submitting this as a pull request to the GitHub repository at https://github.com/stp/stp ?

Thanks,

Ryan

[Delcypher]

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

> --
>
> ---
> 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+...@googlegroups.com.
> For more options, visit https://groups.google.com/groups/opt_out.

[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