Re: maude: FTBFS: surface.yy:63:67: error: 'parseResult' was not declared in this scope
Hi Jakub,
many thanks for this really quick and very helpful response. The
package is successfully built and uploaded.
It is pure fun to work together with such helpful people
Andreas.
On Tue, May 20, 2014 at 01:35:26PM +0200, Jakub Wilk wrote:
> I've attached 3 patches to fix FTBFS:
>
> 1) bison-parse-param.diff: this is quick and dirty patch to use
> %parse-param instead of deprecated YYPARSE_PARAM (and eventually
> removed in Bison 3.0). %parse-param was added in bison 1.875, over a
> decade ago, so no Build-Depends adjustments are needed. :-)
>
> 2) Types of the arguments for YY_INPUT has changed from int to
> yy_size_t (which is a typedef for size_t), which caused the
> following error:
>
> <stdout>: In function 'int yy_get_next_buffer()':
> ./lexer.ll:56:72: error: invalid initialization of reference of type 'int&' from expression of type 'yy_size_t {aka unsigned int}'
>
> I've adjusted the types in getinput-size_t.diff. This change
> requires bumping build-dependency on flex to >= 2.5.36.
>
> 3) lexbubble-semicolons.diff to fix yet another build error:
>
> surface.yy: In function 'int yyparse(void*)':
> surface.yy:575:4: error: expected ';' before '}' token
>
> --
> Jakub Wilk
> --- maude-2.6.orig/src/Mixfix/top.yy
> +++ maude-2.6/src/Mixfix/top.yy
> @@ -24,6 +24,8 @@
> // Parser for Maude surface syntax.
> //
>
> +%parse-param {void* YYPARSE_PARAM}
> +
> %{
> #include <string>
> #include <stack>
> @@ -91,7 +93,7 @@ SyntaxContainer* oldSyntaxContainer = 0;
> Int64 number;
> Int64 number2;
>
> -static void yyerror(char *s);
> +static void yyerror(void *, char *s);
>
> void cleanUpModuleExpression();
> void cleanUpParser();
> --- maude-2.6.orig/src/Mixfix/bottom.yy
> +++ maude-2.6/src/Mixfix/bottom.yy
> @@ -23,7 +23,7 @@
> %%
>
> static void
> -yyerror(char *s)
> +yyerror(void *, char *s)
> {
> if (!(UserLevelRewritingContext::interrupted()))
> IssueWarning(LineNumber(lineNumber) << ": " << s);
> --- maude-2.6.orig/src/IO_Stuff/IO_Manager.cc
> +++ maude-2.6/src/IO_Stuff/IO_Manager.cc
> @@ -85,8 +85,8 @@ IO_Manager::setAutoWrap()
> (void) cerr.rdbuf(wrapErr);
> }
>
> -int
> -IO_Manager::getInput(char* buf, int maxSize, FILE* stream)
> +size_t
> +IO_Manager::getInput(char* buf, size_t maxSize, FILE* stream)
> {
> if (stream != stdin)
> {
> @@ -118,7 +118,7 @@ IO_Manager::getInput(char* buf, int maxS
> return 0;
> }
>
> - int n;
> + size_t n;
> for (n = 0;; n++)
> {
> char c = *line;
> --- maude-2.6.orig/src/Mixfix/lexerAux.cc
> +++ maude-2.6/src/Mixfix/lexerAux.cc
> @@ -23,6 +23,9 @@
> //
> // Auxiliary functions and data needed by lexical analyzer.
> //
> +
> +#include <stddef.h>
> +
> #define MAX_IN_DEPTH 10
>
> int inStackPtr = 0;
> @@ -35,14 +38,14 @@ bool fakeNewline = false; // fake \n fo
> bool fakeNewlineStack[MAX_IN_DEPTH];
>
> void
> -getInput(char* buf, int& result, int max_size)
> +getInput(char* buf, size_t& result, size_t max_size)
> {
> result = YY_NULL;
> if (UserLevelRewritingContext::interrupted())
> fakeNewline = false;
> else
> {
> - int n = ioManager.getInput(buf, max_size, yyin);
> + size_t n = ioManager.getInput(buf, max_size, yyin);
> if (UserLevelRewritingContext::interrupted())
> fakeNewline = false;
> else
> --- maude-2.6.orig/src/Mixfix/lexerAux.hh
> +++ maude-2.6/src/Mixfix/lexerAux.hh
> @@ -27,7 +27,7 @@
> //extern int inStackPtr;
> //extern YY_BUFFER_STATE inStack[];
>
> -void getInput(char* buf, int& result, int max_size);
> +void getInput(char* buf, size_t& result, size_t max_size);
> void lexerIdMode();
> void lexerTokenTreeMode(int terminatingTokens);
> void lexerCmdMode();
> --- maude-2.6.orig/src/IO_Stuff/IO_Manager.hh
> +++ maude-2.6/src/IO_Stuff/IO_Manager.hh
> @@ -49,7 +49,7 @@ public:
> void setPrompt(const string& newPrompt);
> void setContPrompt(const string& newContPrompt);
> void startCommand();
> - int getInput(char* buf, int maxSize, FILE* stream);
> + size_t getInput(char* buf, size_t maxSize, FILE* stream);
>
> private:
> GetLine* gl;
> --- maude-2.6.orig/src/Mixfix/commands.yy
> +++ maude-2.6/src/Mixfix/commands.yy
> @@ -23,12 +23,12 @@
> /*
> * Commands.
> */
> -command : KW_SELECT { lexBubble(END_COMMAND, 1) }
> +command : KW_SELECT { lexBubble(END_COMMAND, 1); }
> endBubble
> {
> interpreter.setCurrentModule(lexerBubble);
> }
> - | KW_DUMP { lexBubble(END_COMMAND, 1) }
> + | KW_DUMP { lexBubble(END_COMMAND, 1); }
> endBubble
> {
> if (interpreter.setCurrentModule(lexerBubble))
> --- maude-2.6.orig/src/Mixfix/modules.yy
> +++ maude-2.6/src/Mixfix/modules.yy
> @@ -247,7 +247,7 @@ viewEndOpMap : ':'
> // press on.
> //
> opDescription = lexerBubble;
> - lexBubble(END_STATEMENT, 1)
> + lexBubble(END_STATEMENT, 1);
> }
> endBubble
> {
--
http://fam-tille.de
Reply to: