Hi Javier,
Sorry for the trouble,
I tried building Klee on another machine again but I received the following
errors:
mandanna@crypt00:~/cloudsuite/soft_testing/cloud9-cloudsuite/klee-c9-uclibc$
make
cc1: warning: unrecognized gcc debugging option: N
<stdin>:1:24: error: asm/unistd.h: No such file or directory
<stdin>:1:24: error: asm/unistd.h: No such file or directory
CC libcrypt/des.os
In file included from ./include/sys/param.h:24,
from libcrypt/des.c:62:
/usr/include/linux/param.h:4:23: error: asm/param.h: No such file or
directory
In file included from ./include/sys/socket.h:35,
from ./include/netinet/in.h:24,
from libcrypt/des.c:63:
./include/bits/socket.h:317:24: error: asm/socket.h: No such file or
directory
make: *** [libcrypt/des.os] Error 1
mandanna@crypt00:~/cloudsuite/soft_testing/cloud9-cloudsuite/klee-c9-uclibc$
find /usr/include -name socket.h
/usr/include/linux/socket.h
/usr/include/x86_64-linux-gnu/sys/socket.h
/usr/include/x86_64-linux-gnu/bits/socket.h
/usr/include/x86_64-linux-gnu/asm/socket.h
/usr/include/asm-generic/socket.h
mandanna@crypt00:~/cloudsuite/soft_testing/cloud9-cloudsuite/klee-c9-uclibc$
find /usr/include -name unistd.h
/usr/include/linux/unistd.h
/usr/include/unistd.h
/usr/include/x86_64-linux-gnu/sys/unistd.h
/usr/include/x86_64-linux-gnu/bits/unistd.h
/usr/include/x86_64-linux-gnu/asm/unistd.h
/usr/include/asm-generic/unistd.h
mandanna@crypt00:~/cloudsuite/soft_testing/cloud9-cloudsuite/klee-c9-uclibc$
find /usr/include -name param.h
/usr/include/linux/param.h
/usr/include/x86_64-linux-gnu/sys/param.h
/usr/include/x86_64-linux-gnu/asm/param.h
/usr/include/asm-generic/param.h
mandanna@crypt00:~/cloudsuite/soft_testing/cloud9-cloudsuite/klee-c9-uclibc$
mandanna@crypt00:~/cloudsuite/soft_testing/cloud9-cloudsuite/klee-c9-uclibc$
gcc -v
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-linux-gnu/4.7/lto-wrapper
Target: x86_64-linux-gnu
Configured with: ../src/configure -v --with-pkgversion='Debian 4.7.2-5'
--with-bugurl=file:///usr/share/doc/gcc-4.7/README.Bugs
--enable-languages=c,c++,go,fortran,objc,obj-c++ --prefix=/usr
--program-suffix=-4.7 --enable-shared --enable-linker-build-id
--with-system-zlib --libexecdir=/usr/lib --without-included-gettext
--enable-threads=posix --with-gxx-include-dir=/usr/include/c++/4.7
--libdir=/usr/lib --enable-nls --with-sysroot=/ --enable-clocale=gnu
--enable-libstdcxx-debug --enable-libstdcxx-time=yes
--enable-gnu-unique-object --enable-plugin --enable-objc-gc
--with-arch-32=i586 --with-tune=generic --enable-checking=release
--build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu
Thread model: posix
gcc version 4.7.2 (Debian 4.7.2-5)
mandanna@crypt00:~/cloudsuite/soft_testing/cloud9-cloudsuite/klee-c9-uclibc$
getconf LONG_BIT
64
I however found the files on the machine. This seems to be like a linker
error but I don't quite know how to fix this .
Regards,
Mandanna
On Fri, Jan 25, 2013 at 1:18 AM, mandanna thekkada <
[email protected]> wrote:
> Hi Javier ,
>
> About the lseek64 error, I was able to fix it by including unistd.h in the
> llvm-2.9/lib/ExecutionEngine/JIT/Intercept.cpp file.
>
> Sorry for the trouble,
>
> Regards,
> Mandanna.
>
>
> On Thu, Jan 24, 2013 at 9:23 PM, mandanna thekkada <
> [email protected]> wrote:
>
>> Hi Javier,
>>
>> I tried re-installing the benchmark on another machine but while running
>> the ''make" command to build llvm-2.9 I received the following error:
>>
>> Intercept.cpp:69:67: error: ‘lseek64’ was not declared in this scope
>> /bin/rm: cannot remove
>> `/auto/home/mandanna/cloudsuite/soft_testing/cloud9-cloudsuite/llvm-2.9/lib/ExecutionEngine/JIT/Release+Asserts/Intercept.d.tmp':
>> No such file or directory
>> make[3]: ***
>> [/auto/home/mandanna/cloudsuite/soft_testing/cloud9-cloudsuite/llvm-2.9/lib/ExecutionEngine/JIT/Release+Asserts/Intercept.o]
>> Error 1
>> make[3]: Leaving directory
>> `/auto/home/mandanna/cloudsuite/soft_testing/cloud9-cloudsuite/llvm-2.9/lib/ExecutionEngine/JIT'
>> make[2]: *** [JIT/.makeall] Error 2
>> make[2]: Leaving directory
>> `/auto/home/mandanna/cloudsuite/soft_testing/cloud9-cloudsuite/llvm-2.9/lib/ExecutionEngine'
>> make[1]: *** [ExecutionEngine/.makeall] Error 2
>> make[1]: Leaving directory
>> `/auto/home/mandanna/cloudsuite/soft_testing/cloud9-cloudsuite/llvm-2.9/lib'
>> make: *** [all] Error 1
>>
>>
>> Any ideas on how to fix this?
>>
>> Regards,
>> Mandanna
>>
>>
>> On Thu, Jan 24, 2013 at 1:46 PM, mandanna thekkada <
>> [email protected]> wrote:
>>
>>> Hi Javier,
>>>
>>> This is the output of the command you told me to run:
>>>
>>> mandanna@crypt00:~/cloudsuite/data_analytics/hadoop-0.20.2/logs$
>>> getconf LONG_BIT
>>> 64
>>>
>>> Regards,
>>> Mandanna.
>>>
>>>
>>> On Thu, Jan 24, 2013 at 7:41 AM, Javier Picorel
>>> <[email protected]>wrote:
>>>
>>>> Hi Mandanna,
>>>>
>>>> Can you please run the following command in your terminal?
>>>>
>>>> getconf LONG_BIT
>>>>
>>>> Please tell me the output. Thanks.
>>>>
>>>> Regards,
>>>> Javier
>>>>
>>>> ------------------------------
>>>> *From:* mandanna thekkada [[email protected]]
>>>> *Sent:* 23 January 2013 02:34
>>>> *To:* Javier Picorel
>>>> *Cc:* [email protected]
>>>> *Subject:* Re: [cloudsuite] Errors while installing Software Testing
>>>> Benchmark
>>>>
>>>> Hi Javier,
>>>>
>>>> I think this message in the mail archive deals with a similar problem
>>>> to that of what I've encountered, but there is no solution posted here.
>>>>
>>>> The link is here:
>>>>
>>>> http://www.mail-archive.com/[email protected]/msg00102.html
>>>>
>>>> Regards,
>>>> Mandanna
>>>>
>>>>
>>>> On Tue, Jan 22, 2013 at 6:14 PM, mandanna thekkada <
>>>> [email protected]> wrote:
>>>>
>>>>> Hi Javier,
>>>>>
>>>>> Yeah as you said I am running 64bit linux on an x86_64 architecture.
>>>>>
>>>>> mandanna@crypt00:~$ uname -a
>>>>> Linux crypt00 2.6.32-5-amd64 #1 SMP Fri Sep 9 20:23:16 UTC 2011 x86_64
>>>>> GNU/Linux
>>>>> mandanna@crypt00:~$ lscpu
>>>>> Architecture: x86_64
>>>>> CPU op-mode(s): 32-bit, 64-bit
>>>>> Byte Order: Little Endian
>>>>> CPU(s): 8
>>>>> On-line CPU(s) list: 0-7
>>>>> Thread(s) per core: 2
>>>>> Core(s) per socket: 4
>>>>> Socket(s): 1
>>>>> NUMA node(s): 1
>>>>> Vendor ID: GenuineIntel
>>>>> CPU family: 6
>>>>> Model: 44
>>>>> Stepping: 2
>>>>> CPU MHz: 2400.410
>>>>> BogoMIPS: 4800.13
>>>>> Virtualization: VT-x
>>>>> L1d cache: 32K
>>>>> L1i cache: 32K
>>>>> L2 cache: 256K
>>>>> L3 cache: 12288K
>>>>> NUMA node0 CPU(s): 0-7
>>>>>
>>>>>
>>>>> Regards,
>>>>> Mandanna
>>>>>
>>>>>
>>>>> On Tue, Jan 22, 2013 at 4:34 AM, Javier Picorel <
>>>>> [email protected]> wrote:
>>>>>
>>>>>> Dear Mandanna,
>>>>>>
>>>>>> I haven't seen this error before. Could you please confirm that you
>>>>>> are using a 64-bits OS and a x86_64 architecture? Thank you.
>>>>>>
>>>>>> Regards,
>>>>>> Javier
>>>>>> ------------------------------
>>>>>> *From:* mandanna thekkada [[email protected]]
>>>>>> *Sent:* 22 January 2013 05:12
>>>>>> *To:* [email protected]
>>>>>> *Subject:* [cloudsuite] Errors while installing Software Testing
>>>>>> Benchmark
>>>>>>
>>>>>> Hi,
>>>>>>
>>>>>> I was trying to install Cloud9 as part of the Software Testing
>>>>>> Benchmark.
>>>>>>
>>>>>> However while running the 'make' command to build KLEE I got the
>>>>>> following errors:
>>>>>>
>>>>>>
>>>>>> tkmandanna@ubuntu:~/rutgers/compstruct/sem2/cloudsuite/cloud9-cloudsuite/klee-c9-uclibc$
>>>>>> make
>>>>>> /home/tkmandanna/rutgers/compstruct/sem2/cloudsuite/cloud9-cloudsuite/llvm-gcc4.2-2.9-x86_64-linux/bin/llvm-gcc:
>>>>>> 1:
>>>>>> /home/tkmandanna/rutgers/compstruct/sem2/cloudsuite/cloud9-cloudsuite/llvm-gcc4.2-2.9-x86_64-linux/bin/llvm-gcc:
>>>>>> Syntax error: Unterminated quoted string
>>>>>>
>>>>>> /home/tkmandanna/rutgers/compstruct/sem2/cloudsuite/cloud9-cloudsuite/llvm-gcc4.2-2.9-x86_64-linux/bin/llvm-gcc:
>>>>>> 1:
>>>>>> /home/tkmandanna/rutgers/compstruct/sem2/cloudsuite/cloud9-cloudsuite/llvm-gcc4.2-2.9-x86_64-linux/bin/llvm-gcc:
>>>>>> ELF????: not found
>>>>>> /home/tkmandanna/rutgers/compstruct/sem2/cloudsuite/cloud9-cloudsuite/llvm-gcc4.2-2.9-x86_64-linux/bin/llvm-gcc:
>>>>>> 1:
>>>>>> /home/tkmandanna/rutgers/compstruct/sem2/cloudsuite/cloud9-cloudsuite/llvm-gcc4.2-2.9-x86_64-linux/bin/llvm-gcc:
>>>>>> ELF????: not found
>>>>>>
>>>>>> /home/tkmandanna/rutgers/compstruct/sem2/cloudsuite/cloud9-cloudsuite/llvm-gcc4.2-2.9-x86_64-linux/bin/llvm-gcc:
>>>>>> 1:
>>>>>> /home/tkmandanna/rutgers/compstruct/sem2/cloudsuite/cloud9-cloudsuite/llvm-gcc4.2-2.9-x86_64-linux/bin/llvm-gcc:
>>>>>> Syntax error: Unterminated quoted string
>>>>>>
>>>>>> /home/tkmandanna/rutgers/compstruct/sem2/cloudsuite/cloud9-cloudsuite/llvm-gcc4.2-2.9-x86_64-linux/bin/llvm-gcc:
>>>>>> 1:
>>>>>> /home/tkmandanna/rutgers/compstruct/sem2/cloudsuite/cloud9-cloudsuite/llvm-gcc4.2-2.9-x86_64-linux/bin/llvm-gcc:
>>>>>> ELF????: not found
>>>>>>
>>>>>> /home/tkmandanna/rutgers/compstruct/sem2/cloudsuite/cloud9-cloudsuite/llvm-gcc4.2-2.9-x86_64-linux/bin/llvm-gcc:
>>>>>> 1:
>>>>>> /home/tkmandanna/rutgers/compstruct/sem2/cloudsuite/cloud9-cloudsuite/llvm-gcc4.2-2.9-x86_64-linux/bin/llvm-gcc:
>>>>>> Syntax error: Unterminated quoted string
>>>>>>
>>>>>> /home/tkmandanna/rutgers/compstruct/sem2/cloudsuite/cloud9-cloudsuite/llvm-gcc4.2-2.9-x86_64-linux/bin/llvm-gcc:
>>>>>> 1:
>>>>>> /home/tkmandanna/rutgers/compstruct/sem2/cloudsuite/cloud9-cloudsuite/llvm-gcc4.2-2.9-x86_64-linux/bin/llvm-gcc:
>>>>>> ELF????: not found
>>>>>>
>>>>>> /home/tkmandanna/rutgers/compstruct/sem2/cloudsuite/cloud9-cloudsuite/llvm-gcc4.2-2.9-x86_64-linux/bin/llvm-gcc:
>>>>>> 1:
>>>>>> /home/tkmandanna/rutgers/compstruct/sem2/cloudsuite/cloud9-cloudsuite/llvm-gcc4.2-2.9-x86_64-linux/bin/llvm-gcc:
>>>>>> Syntax error: Unterminated quoted string
>>>>>>
>>>>>> /home/tkmandanna/rutgers/compstruct/sem2/cloudsuite/cloud9-cloudsuite/llvm-gcc4.2-2.9-x86_64-linux/bin/llvm-gcc:
>>>>>> 1:
>>>>>> /home/tkmandanna/rutgers/compstruct/sem2/cloudsuite/cloud9-cloudsuite/llvm-gcc4.2-2.9-x86_64-linux/bin/llvm-gcc:
>>>>>> ELF????: not found
>>>>>>
>>>>>> /home/tkmandanna/rutgers/compstruct/sem2/cloudsuite/cloud9-cloudsuite/llvm-gcc4.2-2.9-x86_64-linux/bin/llvm-gcc:
>>>>>> 1:
>>>>>> /home/tkmandanna/rutgers/compstruct/sem2/cloudsuite/cloud9-cloudsuite/llvm-gcc4.2-2.9-x86_64-linux/bin/llvm-gcc:
>>>>>> Syntax error: Unterminated quoted string
>>>>>>
>>>>>> /home/tkmandanna/rutgers/compstruct/sem2/cloudsuite/cloud9-cloudsuite/llvm-gcc4.2-2.9-x86_64-linux/bin/llvm-gcc:
>>>>>> 1:
>>>>>> /home/tkmandanna/rutgers/compstruct/sem2/cloudsuite/cloud9-cloudsuite/llvm-gcc4.2-2.9-x86_64-linux/bin/llvm-gcc:
>>>>>> ELF????: not found
>>>>>>
>>>>>> /home/tkmandanna/rutgers/compstruct/sem2/cloudsuite/cloud9-cloudsuite/llvm-gcc4.2-2.9-x86_64-linux/bin/llvm-gcc:
>>>>>> 1:
>>>>>> /home/tkmandanna/rutgers/compstruct/sem2/cloudsuite/cloud9-cloudsuite/llvm-gcc4.2-2.9-x86_64-linux/bin/llvm-gcc:
>>>>>> Syntax error: Unterminated quoted string
>>>>>>
>>>>>> /home/tkmandanna/rutgers/compstruct/sem2/cloudsuite/cloud9-cloudsuite/llvm-gcc4.2-2.9-x86_64-linux/bin/llvm-gcc:
>>>>>> 1:
>>>>>> /home/tkmandanna/rutgers/compstruct/sem2/cloudsuite/cloud9-cloudsuite/llvm-gcc4.2-2.9-x86_64-linux/bin/llvm-gcc:
>>>>>> ELF????: not found
>>>>>>
>>>>>> /home/tkmandanna/rutgers/compstruct/sem2/cloudsuite/cloud9-cloudsuite/llvm-gcc4.2-2.9-x86_64-linux/bin/llvm-gcc:
>>>>>> 1:
>>>>>> /home/tkmandanna/rutgers/compstruct/sem2/cloudsuite/cloud9-cloudsuite/llvm-gcc4.2-2.9-x86_64-linux/bin/llvm-gcc:
>>>>>> Syntax error: Unterminated quoted string
>>>>>>
>>>>>> /home/tkmandanna/rutgers/compstruct/sem2/cloudsuite/cloud9-cloudsuite/llvm-gcc4.2-2.9-x86_64-linux/bin/llvm-gcc:
>>>>>> 1:
>>>>>> /home/tkmandanna/rutgers/compstruct/sem2/cloudsuite/cloud9-cloudsuite/llvm-gcc4.2-2.9-x86_64-linux/bin/llvm-gcc:
>>>>>> ELF????: not found
>>>>>>
>>>>>> /home/tkmandanna/rutgers/compstruct/sem2/cloudsuite/cloud9-cloudsuite/llvm-gcc4.2-2.9-x86_64-linux/bin/llvm-gcc:
>>>>>> 1:
>>>>>> /home/tkmandanna/rutgers/compstruct/sem2/cloudsuite/cloud9-cloudsuite/llvm-gcc4.2-2.9-x86_64-linux/bin/llvm-gcc:
>>>>>> Syntax error: Unterminated quoted string
>>>>>> CC libcrypt/crypt.os
>>>>>>
>>>>>> /home/tkmandanna/rutgers/compstruct/sem2/cloudsuite/cloud9-cloudsuite/llvm-gcc4.2-2.9-x86_64-linux/bin/llvm-gcc:
>>>>>> 1:
>>>>>> /home/tkmandanna/rutgers/compstruct/sem2/cloudsuite/cloud9-cloudsuite/llvm-gcc4.2-2.9-x86_64-linux/bin/llvm-gcc:
>>>>>> ELF????: not found
>>>>>>
>>>>>> /home/tkmandanna/rutgers/compstruct/sem2/cloudsuite/cloud9-cloudsuite/llvm-gcc4.2-2.9-x86_64-linux/bin/llvm-gcc:
>>>>>> 1:
>>>>>> /home/tkmandanna/rutgers/compstruct/sem2/cloudsuite/cloud9-cloudsuite/llvm-gcc4.2-2.9-x86_64-linux/bin/llvm-gcc:
>>>>>> Syntax error: Unterminated quoted string
>>>>>> make: *** [libcrypt/crypt.os] Error 2
>>>>>>
>>>>>> I looked through the mail archives but nobody seemed to have
>>>>>> encountered this error. Can anyone help me out here?
>>>>>>
>>>>>> Regards,
>>>>>> Mandanna
>>>>>>
>>>>>
>>>>>
>>>>
>>>
>>
>
