Hi,
in the latest version of maude[1] I get:
...
g++ -DHAVE_CONFIG_H -I. -I../.. -I../../src/Utility -I../../src/Temporal
-I../../src/Interface -I../../src/Core -I../../src/Variable
-I../../src/FullCompiler -I../../src/Higher -I../../src/CUI_Theory
-I../../src/S_Theory -I../../src/NA_Theory -I../../src/FreeTheory
-I../../src/ObjectSystem -I../../src/Mixfix -I../../src/BuiltIn
-I../../src/MSCP10 -I../../src/IO_Stuff -I../../src/ACU_Persistent
-I../../src/ACU_Theory -I../../src/AU_Persistent -I../../src/AU_Theory
-I../../src/Meta -I../../src/3rdParty -I../../src/FullCompiler
-I../../src/StrategyLanguage -I../../src/SMT -Wdate-time -D_FORTIFY_SOURCE=2
-g -O2 -fdebug-prefix-map=/build/maude-2.7.1=. -fstack-protector-strong
-Wformat -Werror=format-security -fpermissive -c -o libmixfix_a-surface.o `test
-f 'surface.cc' || echo './'`surface.cc
surface.c: In function 'int yyparse(void*,
UserLevelRewritingContext::ParseResult*)':
surface.c:5382:16: warning: invalid conversion from 'void*' to
'UserLevelRewritingContext::ParseResult*' [-fpermissive]
surface.c:5382:31: error: cannot convert
'UserLevelRewritingContext::ParseResult*' to 'char*'
surface.yy:97:80: note: initializing argument 2 of 'void
yyerror(UserLevelRewritingContext::ParseResult*, char*)'
static void yyerror(UserLevelRewritingContext::ParseResult* parseResult, char
*s);
~~~~~~^
surface.c:5526:12: warning: invalid conversion from 'void*' to
'UserLevelRewritingContext::ParseResult*' [-fpermissive]
surface.c:5526:27: error: cannot convert
'UserLevelRewritingContext::ParseResult*' to 'char*'
surface.yy:97:80: note: initializing argument 2 of 'void
yyerror(UserLevelRewritingContext::ParseResult*, char*)'
static void yyerror(UserLevelRewritingContext::ParseResult* parseResult, char
*s);
~~~~~~^
surface.yy:313:12: warning: ignoring return value of 'int system(const char*)',
declared with attribute warn_unused_result [-Wunused-result]
system((string("ls") + $3).c_str());
~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
make[6]: *** [Makefile:1110: libmixfix_a-surface.o] Error 1
...
I suspect bison/flex might have created a broken C++ file. Any idea how
to fix this?
Kind regards
Andreas.
[1] https://salsa.debian.org/med-team/maude
--
http://fam-tille.de
