Linux Mint 14 x64 make error on stp-ver-0.1-11-18-2008 from avalanche-0.6.0

[Mehmeh Yong]

Hello People,

I need some help over here.... I found the error when I tried to compile or make stp-ver-0.1-11-18-2008 on avalanche-0.6.0

My first attempt:

make[2]: Leaving directory `/home/yahoo/avalanche-0.6.0/stp-ver-0.1-11-18-2008'
make[2]: Entering directory `/home/yahoo/avalanche-0.6.0/stp-ver-0.1-11-18-2008'
make  all-recursive
make[3]: Entering directory `/home/yahoo/avalanche-0.6.0/stp-ver-0.1-11-18-2008'
Making all in AST
make[4]: Entering directory `/home/yahoo/avalanche-0.6.0/stp-ver-0.1-11-18-2008/AST'
g++ -DHAVE_CONFIG_H -I. -I.. -I../sat/mtl -I../sat/core    -g -O2 -MT AST.o -MD -MP -MF .deps/AST.Tpo -c -o AST.o AST.cpp
In file included from /usr/include/c++/4.7/ext/hash_map:61:0,
                 from AST.h:19,
                 from AST.cpp:10:
/usr/include/c++/4.7/backward/backward_warning.h:33:2: 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. [-Wcpp]
In file included from /usr/include/c++/4.7/cstdint:35:0,
                 from AST.h:32,
                 from AST.cpp:10:
/usr/include/c++/4.7/bits/c++0x_warning.h:32:2: error: #error This file requires compiler and library support for the ISO C++ 2011 standard. This support is currently experimental, and must be enabled with the -std=c++11 or -std=gnu++11 compiler options.
In file included from ../sat/core/Solver.h:27:0,
                 from AST.h:38,
                 from AST.cpp:10:
../sat/mtl/Map.h: In constructor ‘MINISAT::Map<K, D, H, E>::Map(const H&, const E&)’:
../sat/mtl/Map.h:90:41: warning: delegating constructors only available with -std=c++11 or -std=gnu++11 [enabled by default]
../sat/mtl/Map.h:90:50: error: mem-initializer for ‘MINISAT::Map<K, D, H, E>::hash’ follows constructor delegation
../sat/mtl/Map.h:90:61: error: mem-initializer for ‘MINISAT::Map<K, D, H, E>::equals’ follows constructor delegation
AST.cpp: In member function ‘BEEV::ASTNode BEEV::BeevMgr::CreateBVConst(unsigned int, long long unsigned int)’:
AST.cpp:802:55: warning: right shift count >= width of type [enabled by default]
make[4]: *** [AST.o] Error 1
make[4]: Leaving directory `/home/yahoo/avalanche-0.6.0/stp-ver-0.1-11-18-2008/AST'
make[3]: *** [all-recursive] Error 1
make[3]: Leaving directory `/home/yahoo/avalanche-0.6.0/stp-ver-0.1-11-18-2008'
make[2]: *** [all] Error 2
make[2]: Leaving directory `/home/yahoo/avalanche-0.6.0/stp-ver-0.1-11-18-2008'
make[1]: *** [all-recursive] Error 1
make[1]: Leaving directory `/home/yahoo/avalanche-0.6.0'
make: *** [all] Error 2
yahoo@yahooPower ~/avalanche-0.6.0 $

then when it came to second attempt, I changed the compiler flag or option by adding "-std=c++11" and it gave me the result:

make[2]: Leaving directory `/home/yahoo/avalanche-0.6.0/stp-ver-0.1-11-18-2008'
make[2]: Entering directory `/home/yahoo/avalanche-0.6.0/stp-ver-0.1-11-18-2008'
make  all-recursive
make[3]: Entering directory `/home/yahoo/avalanche-0.6.0/stp-ver-0.1-11-18-2008'
Making all in AST
make[4]: Entering directory `/home/yahoo/avalanche-0.6.0/stp-ver-0.1-11-18-2008/AST'
g++ -DHAVE_CONFIG_H -I. -I.. -I../sat/mtl -I../sat/core    -g -O2 -std=c++11 -MT AST.o -MD -MP -MF .deps/AST.Tpo -c -o AST.o AST.cpp
In file included from /usr/include/c++/4.7/ext/hash_map:61:0,
                 from AST.h:19,
                 from AST.cpp:10:
/usr/include/c++/4.7/backward/backward_warning.h:33:2: 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. [-Wcpp]
In file included from AST.h:36:0,
                 from AST.cpp:10:
ASTUtil.h:103:24: error: template argument 3 is invalid
ASTUtil.h:103:43: error: invalid type in declaration before ‘;’ token
In file included from ../sat/core/Solver.h:27:0,
                 from AST.h:38,
                 from AST.cpp:10:
../sat/mtl/Map.h: In member function ‘uint32_t MINISAT::Hash<K>::operator()(const K&) const’:
../sat/mtl/Map.h:33:99: error: missing template arguments before ‘(’ token
../sat/mtl/Map.h: In member function ‘uint32_t MINISAT::DeepHash<K>::operator()(const K*) const’:
../sat/mtl/Map.h:37:103: error: missing template arguments before ‘(’ token
In file included from ../sat/core/Solver.h:27:0,
                 from AST.h:38,
                 from AST.cpp:10:
../sat/mtl/Map.h: In constructor ‘MINISAT::Map<K, D, H, E>::Map(const H&, const E&)’:
../sat/mtl/Map.h:90:50: error: mem-initializer for ‘MINISAT::Map<K, D, H, E>::hash’ follows constructor delegation
../sat/mtl/Map.h:90:61: error: mem-initializer for ‘MINISAT::Map<K, D, H, E>::equals’ follows constructor delegation
In file included from AST.cpp:10:0:
AST.h: In member function ‘size_t BEEV::ASTSymbol::ASTSymbolHasher::operator()(const BEEV::ASTSymbol*) const’:
AST.h:555:2: error: reference to ‘hash’ is ambiguous
In file included from /usr/include/c++/4.7/bits/stl_bvector.h:1065:0,
                 from /usr/include/c++/4.7/vector:66,
                 from AST.h:17,
                 from AST.cpp:10:
/usr/include/c++/4.7/bits/functional_hash.h:58:12: error: candidates are: template<class _Tp> struct std::hash
In file included from /usr/include/c++/4.7/backward/hashtable.h:67:0,
                 from /usr/include/c++/4.7/ext/hash_map:65,
                 from AST.h:19,
                 from AST.cpp:10:
/usr/include/c++/4.7/backward/hash_fun.h:69:12: error:                 template<class _Key> struct __gnu_cxx::hash
In file included from /usr/include/c++/4.7/bits/stl_bvector.h:1065:0,
                 from /usr/include/c++/4.7/vector:66,
                 from AST.h:17,
                 from AST.cpp:10:
/usr/include/c++/4.7/bits/functional_hash.h:58:12: error:                 template<class _Tp> struct std::hash
In file included from AST.cpp:10:0:
AST.h:555:7: error: expected primary-expression before ‘char’
AST.h:555:7: error: expected ‘;’ before ‘char’
AST.h:556:25: error: ‘h’ was not declared in this scope
AST.cpp: In member function ‘BEEV::ASTNode BEEV::BeevMgr::CreateBVConst(unsigned int, long long unsigned int)’:
AST.cpp:802:55: warning: right shift count >= width of type [enabled by default]
make[4]: *** [AST.o] Error 1
make[4]: Leaving directory `/home/yahoo/avalanche-0.6.0/stp-ver-0.1-11-18-2008/AST'
make[3]: *** [all-recursive] Error 1
make[3]: Leaving directory `/home/yahoo/avalanche-0.6.0/stp-ver-0.1-11-18-2008'
make[2]: *** [all] Error 2
make[2]: Leaving directory `/home/yahoo/avalanche-0.6.0/stp-ver-0.1-11-18-2008'
make[1]: *** [all-recursive] Error 1
make[1]: Leaving directory `/home/yahoo/avalanche-0.6.0'
make: *** [all] Error 2
yahoo@yahooPower ~/avalanche-0.6.0 $

I hope someone can help me solve the issue.

Thank you

[Carole Macheret]

Hello,

I am having the same issue when trying to compile Avalanche-0.6 on a Kali Linux 64 bits.

../sat/mtl/Map.h:90:41: warning: delegating constructors only available with -std=c++11 or -std=gnu++11 [enabled by default]
../sat/mtl/Map.h:90:50: error: mem-initializer for ‘MINISAT::Map<K, D, H, E>::hash’ follows constructor delegation
../sat/mtl/Map.h:90:61: error: mem-initializer for ‘MINISAT::Map<K, D, H, E>::equals’ follows constructor delegation

Were you able to find a solution to correct the issue?

Best regards,