Installation Error - Ubuntu

[Robo]

Hi, during my installation of Avalanche-0.6.0, i use the following
command

./configure /home/xx/avalanche-0.6.0

when that is done and i use the "make" command, it throws the
following error

Making all in parser
make[4]: Entering directory `/home/xx/avalanche-0.6.0/stp-
ver-0.1-11-18-2008/parser'
g++ -DHAVE_CONFIG_H -I. -I.. -I../sat/mtl -I../sat/core -I../sat/
simp -g -O2 -MT lexPL.o -MD -MP -MF .deps/lexPL.Tpo -c -o lexPL.o
lexPL.cpp
In file included from /usr/include/c++/4.4/ext/hash_map:60,
from ../AST/AST.h:19,
from PL.lex:10:
/usr/include/c++/4.4/backward/backward_warning.h:28: warning: #warning
This file includes at least one deprecated or antiquated header which
may be removed without further notice at a future date. Please use a
non-deprecated interface with equivalent functionality instead. For a
listing of replacement headers and interfaces, consult the file
backward_warning.h. To disable this warning use -Wno-deprecated.
In file included from ../AST/AST.h:35,
from PL.lex:10:
../AST/../sat/core/Solver.h: In function ‘int
MINISAT::memReadStat(int)’:
../AST/../sat/core/Solver.h:63: warning: ignoring return value of ‘int
fscanf(FILE*, const char*, ...)’, declared with attribute
warn_unused_result
mv -f .deps/lexPL.Tpo .deps/lexPL.Po
g++ -DHAVE_CONFIG_H -I. -I.. -I../sat/mtl -I../sat/core -I../sat/
simp -g -O2 -MT parsePL.o -MD -MP -MF .deps/parsePL.Tpo -c -o
parsePL.o parsePL.cpp
In file included from /usr/include/c++/4.4/ext/hash_map:60,
from ../AST/AST.h:19,
from PL.y:11:
/usr/include/c++/4.4/backward/backward_warning.h:28: warning: #warning
This file includes at least one deprecated or antiquated header which
may be removed without further notice at a future date. Please use a
non-deprecated interface with equivalent functionality instead. For a
listing of replacement headers and interfaces, consult the file
backward_warning.h. To disable this warning use -Wno-deprecated.
In file included from ../AST/AST.h:35,
from PL.y:11:
../AST/../sat/core/Solver.h: In function ‘int
MINISAT::memReadStat(int)’:
../AST/../sat/core/Solver.h:63: warning: ignoring return value of ‘int
fscanf(FILE*, const char*, ...)’, declared with attribute
warn_unused_result
PL.y: In function ‘int yyparse()’:
PL.y:180: error: expected unqualified-id before numeric constant
PL.y:185: error: expected unqualified-id before numeric constant
PL.y:196: error: expected unqualified-id before numeric constant
PL.y:445: error: expected unqualified-id before numeric constant
PL.y:450: error: expected unqualified-id before numeric constant
PL.y:456: error: expected unqualified-id before numeric constant
PL.y:462: error: expected unqualified-id before numeric constant
PL.y:468: error: expected unqualified-id before numeric constant
PL.y:486: error: expected unqualified-id before numeric constant
PL.y:492: error: expected unqualified-id before numeric constant
PL.y:500: error: expected unqualified-id before numeric constant
PL.y:508: error: expected unqualified-id before numeric constant
PL.y:516: error: expected unqualified-id before numeric constant
PL.y:524: error: expected unqualified-id before numeric constant
PL.y:532: error: expected unqualified-id before numeric constant
PL.y:540: error: expected unqualified-id before numeric constant
PL.y:548: error: expected unqualified-id before numeric constant
PL.y:557: error: expected unqualified-id before numeric constant
PL.y:563: error: expected unqualified-id before numeric constant
PL.y:703: error: expected unqualified-id before numeric constant
PL.y:715: error: expected unqualified-id before numeric constant
PL.y:728: error: expected unqualified-id before numeric constant
PL.y:741: error: expected unqualified-id before numeric constant
PL.y:760: error: expected unqualified-id before numeric constant
PL.y:809: error: expected unqualified-id before numeric constant
PL.y:817: error: expected unqualified-id before numeric constant
PL.y:827: error: expected unqualified-id before numeric constant
PL.y:834: error: expected unqualified-id before numeric constant
PL.y:843: error: expected unqualified-id before numeric constant
PL.y:852: error: expected unqualified-id before numeric constant
PL.y:861: error: expected unqualified-id before numeric constant
PL.y:870: error: expected unqualified-id before numeric constant
make[4]: *** [parsePL.o] Error 1
make[4]: Leaving directory `/home/xx/avalanche-0.6.0/stp-
ver-0.1-11-18-2008/parser'
make[3]: *** [all-recursive] Error 1
make[3]: Leaving directory `/home/xx/avalanche-0.6.0/stp-
ver-0.1-11-18-2008'
make[2]: *** [all] Error 2
make[2]: Leaving directory `/home/xx/avalanche-0.6.0/stp-
ver-0.1-11-18-2008'
make[1]: *** [all-recursive] Error 1
make[1]: Leaving directory `/home/xx/avalanche-0.6.0'
make: *** [all] Error 2

Does anyone know what the problem could be?
Thanks

[Michael]

Hello!

This is the exact command you've been using? It shouldn't have passed
configure step successfully - you should use --prefix=/home/xx/
avalanche-0.6.0 to install in this directory.

Can you run your configure command and show the STP part of its output
(starting with '=== configuring in stp-ver-0.1-11-18-2008')?

[Syed Zaki]

=== configuring in stp-ver-0.1-11-18-2008 (/home/zaki/avalanche-0.6.0/stp-ver-0.1-11-18-2008)

configure: running /bin/bash ./configure --disable-option-checking '--prefix=/home/zaki/avalanche-0.6.0'  --cache-file=/dev/null --srcdir=.

checking for a BSD-compatible install... /usr/bin/install -c

checking whether build environment is sane... yes

checking for a thread-safe mkdir -p... /bin/mkdir -p

checking for gawk... no

checking for mawk... mawk

checking whether make sets $(MAKE)... yes

checking for g++... g++

checking whether the C++ compiler works... yes

checking for C++ compiler default output file name... a.out

checking for suffix of executables... 

checking whether we are cross compiling... no

checking for suffix of object files... o

checking whether we are using the GNU C++ compiler... yes

checking whether g++ accepts -g... yes

checking for style of include used by make... GNU

checking dependency style of g++... gcc3

checking for ranlib... ranlib

checking for perl... perl

checking for yacc... yacc

checking for bison... (cached) yacc

checking for lex... lex

checking for gcc... gcc

checking whether we are using the GNU C compiler... yes

checking whether gcc accepts -g... yes

checking for gcc option to accept ISO C89... none needed

checking dependency style of gcc... gcc3

checking for flex... (cached) lex

checking lex output file root... lex.yy

checking lex library... -lfl

checking whether yytext is a pointer... yes

checking how to run the C++ preprocessor... g++ -E

checking for grep that handles long lines and -e... /bin/grep

checking for egrep... /bin/grep -E

checking for ANSI C header files... yes

checking for sys/types.h... yes

checking for sys/stat.h... yes

checking for stdlib.h... yes

checking for string.h... yes

checking for memory.h... yes

checking for strings.h... yes

checking for inttypes.h... yes

checking for stdint.h... yes

checking for unistd.h... yes

checking ext/hash_map usability... yes

checking ext/hash_map presence... yes

checking for ext/hash_map... yes

checking ext/hash_set usability... yes

checking ext/hash_set presence... yes

checking for ext/hash_set... yes

checking hash_map usability... yes

checking hash_map presence... yes

checking for hash_map... yes

checking hash_set usability... yes

checking hash_set presence... yes

checking for hash_set... yes

checking features.h usability... yes

checking features.h presence... yes

checking for features.h... yes

configure: creating ./config.status

config.status: creating Makefile

config.status: creating AST/Makefile

config.status: creating sat/Makefile

config.status: creating sat/core/Makefile

config.status: creating sat/mtl/Makefile

config.status: creating simplifier/Makefile

config.status: creating bitvec/Makefile

config.status: creating c_interface/Makefile

config.status: creating constantbv/Makefile

config.status: creating parser/Makefile

config.status: creating config.h

config.status: config.h is unchanged

config.status: executing depfiles commands

[Michael]

Ok, can you please do 'lex --version' and 'yacc --version'?

[Syed Zaki]

lex 2.5.35

yacc - 1.9 20100610

[Syed Zaki]

i'm using the latest vers. of avalanche

[Michael]

Hmm, the problem is indeed with yacc. Looks like using byacc instead
of bison (which we are all using) causes these errors.

If you don't mind removing byacc and switching to bison (http://
www.gnu.org/s/bison/), you can do it and then proceed to the
following:
1) run ./configure again
2) go to stp-ver-0.1-11-18-2008/parser and do
rm parsePL.cpp parsePL_defs.h lexPL.cpp
3) run make again

If I understand correctly, this should remove those errors.

I'll try to investigate the parser generator compatibility.

[Michael]

've made a patch that should fix errors without changing to bison.
You can download it here - http://code.google.com/p/avalanche/downloads/detail?name=STP_PL_patch

Download it to avalanche root directory and do the following:
patch -p0 -i STP_PL_patch

After that 'make' should complete successfully.

On Dec 19, 2:43 pm, Michael <erm...@yandex.ru> wrote:
> Hmm, the problem is indeed with yacc. Looks like using byacc instead
> of bison (which we are all using) causes these errors.
>

> If you don't mind removing byacc and switching to bison (http://www.gnu.org/s/bison/), you can do it and then proceed to the

> ...
>
> read more »