What steps will reproduce the problem?
1. make in /src/
What is the expected output? What do you see instead?
* Expected correct compilation
* Got:
../src/parser/replacefoly.pl ../src/parser/fol.y bison
flex -o../src/parser/follex.cpp ../src/parser/follex.y
bison ../src/parser/fol.y;
../src/parser/fol.y:2485.3-15: warning: extra characters in character literal
[-Wother]
'x^2 + x + 3'
^^^^^^^^^^^^^
mv -f fol.tab.c ../src/parser/fol.cpp
../src/parser/replacefolcpp.pl ../src/parser/fol.cpp
g++ -g -w -Wno-deprecated -Wall -I. -I../src/util -I../src/logic
-I../src/parser -I../src/learnwts -I../src/learnstruct -I../src/infer
-I../src/liftedinfer/bridge/includes -I../src/liftedinfer/common/includes
-I../src/liftedinfer/liftedblockedgibbs/includes
-I../src/liftedinfer/liftedimportancesampling/includes
-I../src/liftedinfer/liftedweightedmodelcounting/includes
-I../src/liftedinfer/tests -o ../bin/obj/fol.o -c ../src/parser/fol.cpp
In file included from ../src/parser/fol.y:106:0:
../src/parser/follex.y: In function ‘int yylex()’:
../src/parser/follex.y:165:10: error: ‘ZZ_INCLUDE’ was not declared in this
scope
return ZZ_INCLUDE;
^
In file included from ../src/parser/fol.y:106:0:
../src/parser/follex.y:201:10: error: ‘ZZ_IMPLY’ was not declared in this
scope
return ZZ_IMPLY;
^
In file included from ../src/parser/fol.y:106:0:
../src/parser/follex.y:210:10: error: ‘ZZ_EQUIV’ was not declared in this
scope
return ZZ_EQUIV;
^
In file included from ../src/parser/fol.y:106:0:
../src/parser/follex.y:219:10: error: ‘ZZ_EXIST’ was not declared in this
scope
return ZZ_EXIST;
^
In file included from ../src/parser/fol.y:106:0:
../src/parser/follex.y:228:10: error: ‘ZZ_FORALL’ was not declared in this
scope
return ZZ_FORALL;
^
In file included from ../src/parser/fol.y:106:0:
../src/parser/follex.y:272:10: error: ‘ZZ_NUM’ was not declared in this
scope
return ZZ_NUM;
^
In file included from ../src/parser/fol.y:106:0:
../src/parser/follex.y:281:10: error: ‘ZZ_NUM’ was not declared in this
scope
return ZZ_NUM;
^
In file included from ../src/parser/fol.y:106:0:
../src/parser/follex.y:290:10: error: ‘ZZ_NUM’ was not declared in this
scope
return ZZ_NUM;
^
In file included from ../src/parser/fol.y:106:0:
../src/parser/follex.y:299:44: error: ‘ZZ_CONSTANT’ was not declared in
this scope
if (zzdomain->isConstant(yytext)) return ZZ_CONSTANT;
^
../src/parser/follex.y:300:10: error: ‘ZZ_STRING’ was not declared in this
scope
return ZZ_STRING;
^
In file included from ../src/parser/fol.y:106:0:
../src/parser/follex.y:312:12: error: ‘ZZ_TYPE’ was not declared in this
scope
return ZZ_TYPE;
^
../src/parser/follex.y:317:12: error: ‘ZZ_PREDICATE’ was not declared in
this scope
return ZZ_PREDICATE;
^
../src/parser/follex.y:322:12: error: ‘ZZ_FUNCTION’ was not declared in
this scope
return ZZ_FUNCTION;
^
../src/parser/follex.y:327:12: error: ‘ZZ_CONSTANT’ was not declared in
this scope
return ZZ_CONSTANT;
^
../src/parser/follex.y:330:10: error: ‘ZZ_VARIABLE’ was not declared in
this scope
return ZZ_VARIABLE;
^
In file included from ../src/parser/fol.y:106:0:
../src/parser/follex.y:415:10: error: ‘ZZ_DOTDOTDOT’ was not declared in
this scope
return ZZ_DOTDOTDOT;
^
make: *** [../bin/obj/fol.o] Error 1
What version of the product are you using? On what operating system?
Latest version, Ubuntu 14.04
Please provide any additional information below.
Original issue reported on code.google.com by
[email protected]on 15 Aug 2014 at 8:28