Hi Mandanna, It seems that some header files are not found. Based on your paths, update the CPPFLAGS environmental variable like this:
CPPFLAGS=/usr/include/x86_64-linux-gnu/ Afterwards, run the configure script. Regards, Javier ________________________________ From: mandanna thekkada [[email protected]] Sent: 25 January 2013 18:58 To: Javier Picorel; [email protected] Subject: Re: [cloudsuite] Errors while installing Software Testing Benchmark 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]<mailto:[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]<mailto:[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]<mailto:[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]<mailto:[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]<mailto:[email protected]>] Sent: 23 January 2013 02:34 To: Javier Picorel Cc: [email protected]<mailto:[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]<mailto:[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]<mailto:[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]<mailto:[email protected]>] Sent: 22 January 2013 05:12 To: [email protected]<mailto:[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
