Maude-help mailing list

[Francisco Frechina <ffrechina AT dsic.upv.es>]

Hello,

I'm trying to compile maude under Mac OS X Mountain Lion getting the following error:

<stdout>: In function 'int yy_get_next_buffer()':
<stdout>:4664: error: invalid initialization of reference of type 'int&' from _expression_ of type 'yy_size_t'
lexerAux.hh:30: error: in passing argument 2 of 'void getInput(char*, int&, int)'
<stdout>: At global scope:
In file included from ./lexer.ll:589:
<stdout>:4763: warning: 'void yyunput(int, char*)' defined but not used
<stdout>:5258: warning: 'int yy_top_state()' defined but not used
make[4]: *** [libmixfix_a-lexer.o] Error 1
make[3]: *** [all] Error 2
make[2]: *** [all-recursive] Error 1
make[1]: *** [all-recursive] Error 1
make: *** [all] Error 2

Does anyone know about this error? I'd appreciate some help.

I've installed every 3rd party libraries stated in http://maude.cs.uiuc.edu/download/sources.html

Thank you in advance,

Francisco Frechina

Technical University of Valencia (Spain)
DSIC - ELP Group