Configure said 'kernel version... unsupported'

[GoogleCodeExporter]

I've downloaded avalanche from svn, typed:
./autogen.sh
./configure
While configuring I have received such error:

checking for a supported OS... ok (linux-gnu)
checking for the kernel version... unsupported (3.0.0-13-generic)
configure: error: Valgrind works on kernels 2.4, 2.6
configure: error: ./configure failed for valgrind

I'm using ubuntu 11.10 and at least in synaptic there is valgrind package so it 
seems to me only local copy of valgrind doesn't work.

Original issue reported on code.google.com by feebleha...@gmail.com on 21 Oct 2011 at 10:23

[GoogleCodeExporter]

Our version of valgrind (I assume you did a checkout of trunk version) is not 
the latest one. Try using this patch on valgrind configure.ac:

cd path_to_avalanche/valgrind
patch -i valgrind_configure_patch

Then repeat the whole installation sequence.

Original comment by m.k.erma...@gmail.com on 24 Oct 2011 at 7:57

Attachments:

• valgrind_configure_patch

[GoogleCodeExporter]

Good evening, sorry for not answering here. Yes, I really did a checkout of 
trunk version. I've used your patch but now there is another problem:

checking the GLIBC_VERSION version... unsupported version 2.13
configure: error: Valgrind requires glibc version 2.2 - 2.12
configure: error: ./configure failed for valgrind

Btw, seems like you're from Russia so if's acceptable for you to speak Russian 
in your issue tracker, I don't mind it ;)

Original comment by feebleha...@gmail.com on 28 Oct 2011 at 8:45

[GoogleCodeExporter]

Ah, there is a bug about unsupported version of glibc, sorry for duplicating it 
then.

Original comment by feebleha...@gmail.com on 28 Oct 2011 at 8:46

[GoogleCodeExporter]

Sorry for the delay in answering. Have you successfully run Avalanche?

P.S. And again sorry, we try to use English in our issue tracker. If you want 
to email us about your suggestions/results (which we will be glad to receive 
:)), feel free to use Russian.

Original comment by m.k.erma...@gmail.com on 1 Nov 2011 at 2:31

[GoogleCodeExporter]

Unfortunately no, as I have already said, valgrind requires glibc version 2.2- 
2.12, and I've got another versions which doesn't fit the requirements.

Original comment by feebleha...@gmail.com on 1 Nov 2011 at 7:49

[GoogleCodeExporter]

I was entirely sure there is a patch for valgrind configure script in that 
issue, sorry. You can use this patch or checkout development branch (not 
advised since it's not stable).

cd /path/to/avalanche
patch -p0 -i patch.diff

Original comment by m.k.erma...@gmail.com on 2 Nov 2011 at 9:16

Attachments:

• patch.diff

[GoogleCodeExporter]

It helps me to finish successfully autogen.sh and ./configure, but while 
compiling I receive this error:

make[3]: Вход в каталог 
`/home/artem/SVN/avalanche-read-only/stp-ver-0.1-11-18-2008/parser'
yacc -d -v PL.y
yacc -d -v PL.y
g++ -DHAVE_CONFIG_H -I. -I.. -I../sat/mtl -I../sat/core -I../sat/simp    -g -O2 
-MT let-funcs.o -MD -MP -MF .deps/let-funcs.Tpo -c -o let-funcs.o let-funcs.cpp
/bin/bash: yacc: команда не найдена
/bin/bash: yacc: команда не найдена
make[3]: *** [parsePL_defs.h] Ошибка 127
make[3]: *** Ожидание завершения заданий...
make[3]: *** [parsePL.cpp] Ошибка 127
In file included from /usr/include/c++/4.6/ext/hash_map:61:0,
                 from ../AST/AST.h:19,
                 from let-funcs.cpp:10:
/usr/include/c++/4.6/backward/backward_warning.h:33:2: 
предупреждение: #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]
mv -f .deps/let-funcs.Tpo .deps/let-funcs.Po
make[3]: Выход из каталога 
`/home/artem/SVN/avalanche-read-only/stp-ver-0.1-11-18-2008/parser'
make[2]: *** [all-recursive] Ошибка 1
make[2]: Выход из каталога 
`/home/artem/SVN/avalanche-read-only/stp-ver-0.1-11-18-2008'
make[1]: *** [all] Ошибка 2
make[1]: Выход из каталога 
`/home/artem/SVN/avalanche-read-only/stp-ver-0.1-11-18-2008'
make: *** [all-recursive] Ошибка 1

Original comment by feebleha...@gmail.com on 2 Nov 2011 at 10:45

[GoogleCodeExporter]

We've just been reported about STP configure script not reporting the absence 
of yacc and flex.

You'll need to install GNU bison (http://www.gnu.org/s/bison/). Or use 'sudo 
apt-get install bison'. In case flex is also missing, go to 
http://flex.sourceforge.net/ or use 'sudo apt-get install flex'.

Installing these should get you a complete build.

Original comment by m.k.erma...@gmail.com on 3 Nov 2011 at 9:59

[GoogleCodeExporter]

I had another problem with compiling it. There were a lot of warnings but I 
think this is the reason why compiling stopped. 

FileBuffer.cpp: In constructor «FileBuffer::FileBuffer(const char*)»:
FileBuffer.cpp:44:22: предупреждение: ignoring return value of 
«ssize_t read(int, void*, size_t)», declared with attribute 
warn_unused_result [-Wunused-result]
In file included from Input.cpp:24:0:
../include/Input.h:36:31: ошибка: нет декларации «NULL» в 
этой области видимости
mv -f .deps/FileBuffer.Tpo .deps/FileBuffer.Po
g++ -DPACKAGE_NAME=\"avalanche\" -DPACKAGE_TARNAME=\"avalanche\" 
-DPACKAGE_VERSION=\"0.5.0\" -DPACKAGE_STRING=\"avalanche\ 0.5.0\" 
-DPACKAGE_BUGREPORT=\"\" -DPACKAGE_URL=\"\" -DPACKAGE=\"avalanche\" 
-DVERSION=\"0.5.0\" -I. -I../include    -g -O2 -pthread -MT STP_Executor.o -MD 
-MP -MF .deps/STP_Executor.Tpo -c -o STP_Executor.o STP_Executor.cpp
Input.cpp: В функции-члене «void Input::dumpFiles(char*, const 
char*)»:
Input.cpp:88:57: предупреждение: ignoring return value of 
«ssize_t write(int, const void*, size_t)», declared with attribute 
warn_unused_result [-Wunused-result]
Input.cpp: В функции-члене «void Input::dumpExploit(const char*, 
bool, const char*)»:
Input.cpp:61:32: предупреждение: ignoring return value of 
«ssize_t write(int, const void*, size_t)», declared with attribute 
warn_unused_result [-Wunused-result]
Input.cpp:64:49: предупреждение: ignoring return value of 
«ssize_t write(int, const void*, size_t)», declared with attribute 
warn_unused_result [-Wunused-result]
Input.cpp:65:51: предупреждение: ignoring return value of 
«ssize_t write(int, const void*, size_t)», declared with attribute 
warn_unused_result [-Wunused-result]
Input.cpp:72:57: предупреждение: ignoring return value of 
«ssize_t write(int, const void*, size_t)», declared with attribute 
warn_unused_result [-Wunused-result]
make[2]: *** [Input.o] Ошибка 1

Sorry for bothering you with this compiling stuff.

Original comment by feebleha...@gmail.com on 7 Nov 2011 at 11:20

[GoogleCodeExporter]

Not 100% sure it will work, but try this patch.

cd /path/to/avalanche
patch -p0 -i null_patch

Original comment by m.k.erma...@gmail.com on 8 Nov 2011 at 10:22

Attachments:

• null_patch

[GoogleCodeExporter]

It seems to compile now, thanks a lot for your help! Now I need to read some 
manuals about Avalanche.. :) Feel free to close this ticket if it's not needed 
for you.

Original comment by feebleha...@gmail.com on 8 Nov 2011 at 9:24

[GoogleCodeExporter]

Great, we will be welcome for any feedback!

Original comment by m.k.erma...@gmail.com on 9 Nov 2011 at 12:16

[GoogleCodeExporter]

Fixed for avalanche-0.6

Original comment by m.k.erma...@gmail.com on 16 Nov 2011 at 3:21

• Changed state: Fixed