Hi Javier, I set the CPPFLAGS variable but it didn't work initially . Then I set the following environment variables as well:
export LD_LIBRARY_PATH=/usr/lib/gcc/x86_64-linux-gnu/4.6.3 export LIBRARY_PATH=/usr/lib/x86_64-linux-gnu export C_INCLUDE_PATH=/usr/include/x86_64-linux-gnu export CPLUS_INCLUDE_PATH=/usr/include/x86_64-linux-gnu The compiling progressed and the headers were linked however again towards the end of the compilation process the following error cropped up: mandanna@crypt00:~/cloudsuite/soft_testing/cloud9-cloudsuite/klee-c9-uclibc$ make cc1: warning: unrecognized gcc debugging option: N AS lib/crtn.o /tmp/ccc53AXO.s: Assembler messages: /tmp/ccc53AXO.s: Error: .size expression for _init does not evaluate to a constant /tmp/ccc53AXO.s: Error: .size expression for _fini does not evaluate to a constant make: *** [lib/crtn.o] Error 1 I found a few patches related to this error like this one at : http://comments.gmane.org/gmane.comp.lib.uclibc.general/20556 but they were all related to other architectures like PowerPC . So I was hoping you could help me fix this .. Regards, Mandanna On Sun, Jan 27, 2013 at 8:51 AM, Javier Picorel <javier.pico...@epfl.ch>wrote: > 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 [mandanna.thekk...@gmail.com] > *Sent:* 25 January 2013 18:58 > *To:* Javier Picorel; cloudsuite@listes.epfl.ch > > *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 < > mandanna.thekk...@gmail.com> 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 < >> mandanna.thekk...@gmail.com> 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 < >>> mandanna.thekk...@gmail.com> 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 <javier.pico...@epfl.ch >>>> > 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 [mandanna.thekk...@gmail.com] >>>>> *Sent:* 23 January 2013 02:34 >>>>> *To:* Javier Picorel >>>>> *Cc:* cloudsuite@listes.epfl.ch >>>>> *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/cloudsuite@listes.epfl.ch/msg00102.html >>>>> >>>>> Regards, >>>>> Mandanna >>>>> >>>>> >>>>> On Tue, Jan 22, 2013 at 6:14 PM, mandanna thekkada < >>>>> mandanna.thekk...@gmail.com> 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 < >>>>>> javier.pico...@epfl.ch> 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 [mandanna.thekk...@gmail.com] >>>>>>> *Sent:* 22 January 2013 05:12 >>>>>>> *To:* cloudsuite@listes.epfl.ch >>>>>>> *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 >>>>>>> >>>>>> >>>>>> >>>>> >>>> >>> >> >