Avalanche 0.6 doesn't compile on 64-bits architecture

What steps will reproduce the problem?
1. ./configure
2. make

Make encounters the following error :

Making all in stp-ver-0.1-11-18-2008
make[2]: Entering directory 
`/home/username/project/avalanche-0.6.0/stp-ver-0.1-11-18-2008'
make  all-recursive
make[3]: Entering directory 
`/home/username/project/avalanche-0.6.0/stp-ver-0.1-11-18-2008'
Making all in AST
make[4]: Entering directory 
`/home/username/project/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 ../sat/core/Solver.h:25:0,
                 from AST.h:35,
                 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/username/project/avalanche-0.6.0/stp-ver-0.1-11-18-2008/AST'
make[3]: *** [all-recursive] Error 1
make[3]: Leaving directory 
`/home/username/project/avalanche-0.6.0/stp-ver-0.1-11-18-2008'
make[2]: *** [all] Error 2
make[2]: Leaving directory 
`/home/username/project/avalanche-0.6.0/stp-ver-0.1-11-18-2008'
make[1]: *** [all-recursive] Error 1
make[1]: Leaving directory `/home/username/project/avalanche-0.6.0'
make: *** [all] Error 2

What version of the product are you using? On what operating system?
Linux kali 3.7-trunk-amd64 #1 SMP Debian 3.7.2-0+kali6 x86_64 GNU/Linux

Please provide any additional information below.
I have also tried to compile it on a 32-bits Ubuntu and it works fine.
Original issue reported on code.google.com by Carole.M...@gmail.com on 9 May 2013 at 3:42
vancaho / avalanche

Avalanche 0.6 doesn't compile on 64-bits architecture #14
