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
>>>>>>>
>>>>>>
>>>>>>
>>>>>
>>>>
>>>
>>
>

Reply via email to