Maude-help mailing list

[Steven Eker <eker AT csl.sri.com>]

The current release is rather old and has some problems on 64-bit Macs. The errors can probably be fixed by changing the second argument of getInput() to

yy_size_t& result

in both lexerAux.hh and lexerAux.cc

The warnings are harmless. Let me know if you want to be on my alpha release list - the current alpha compiles on 64-bit Macs.

Steven

On 11/5/12 11:17 AM, Francisco Frechina wrote: 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

_______________________________________________
Maude-help mailing list
Maude-help AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/maude-help