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

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

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

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