Yes the problem is in the 4th step. Configure is working, but in the end says --disable-nls not identified. Without that flag configure shows no errors.
Python is installed on the system. I believe we need to change the klee-gcc to something else (maybe llvm-gcc, i tried that but this also showed errors) On Tue, Jul 16, 2013 at 3:55 AM, Urmas Repinski <[email protected]> wrote: > Hello, Anas. > > The problem is in tutorial 4 step 2 right? > > *coreutils-6.11$ mkdir obj-llvm**coreutils-6.11$ cd obj-llvm**obj-llvm$ > ../configure --disable-nls CFLAGS="-g"**... verify that configure worked > ...**obj-llvm$ make CC=/full/path/to/klee/scripts/klee-gcc**obj-llvm$ make -C > src arch hostname CC=/full/path/to/klee/scripts/klee-gcc**... verify that > make worked ... > > > > *Did configure finished with no error? > Possibly you cannot install obj-llvm, because its configure finished with > error.... > > According to error some python2.7 folder does not exists. > Try to install python2.7 then too if configure passed successfully. > ** > Urmas Repinski > > ------------------------------ > From: [email protected] > Date: Tue, 16 Jul 2013 03:43:45 -0400 > Subject: Re: [klee-dev] Help needed on generating bitcode > To: [email protected] > CC: [email protected] > > > Hi Urmas, > > Thanks for the reply. > > I am actually referring to the 4th tutorial, the core-utils one. > > I want to run klee on gzip 1.6. This is an open source soft, and one needs > to do configure and make to generate the binaries, similar to what is done > in core-utils tutorial, but the same commands are not working. Maybe you > can throw some light on that. > > Thanks > -Anas > > On Tue, Jul 16, 2013 at 3:39 AM, Urmas Repinski <[email protected]>wrote: > > Hello, Anas. > > The thing is that according to the tutorial you should use llvm-gcc to > compile KLEE instrumented program. > http://klee.llvm.org/Tutorial-1.html > llvm-gcc --emit-llvm -c -g get_sign.c > > I had installed llvm-gcc using terminal command line, "apt-get install > llvm-gcc" and this worked fine for me. > > If default version does not compile instrumented code, then you can try to > download and install previous version, > http://llvm.org/releases/download.html . > > Urmas Repinski. > > > ------------------------------ > From: [email protected] > Date: Mon, 15 Jul 2013 19:04:32 -0400 > To: [email protected] > Subject: [klee-dev] Help needed on generating bitcode > > > Hi Everyone, > > I am new to this area. I am trying to run KLEE on gzip 1.6, but am unable > to gerate the llvm bitcode. > > I used the *make CC=/full/path/to/klee/scripts/klee-gcc *command as > described in the tutorial. But it is giving this error > > *make all-recursive* > *make[1]: Entering directory `/home/john/gzip-1.6/obj-llvm'* > *Making all in lib* > *make[2]: Entering directory `/home/john/gzip-1.6/obj-llvm/lib'* > *make all-am* > *make[3]: Entering directory `/home/john/gzip-1.6/obj-llvm/lib'* > *make[3]: Leaving directory `/home/john/gzip-1.6/obj-llvm/lib'* > *make[2]: Leaving directory `/home/john/gzip-1.6/obj-llvm/lib'* > *Making all in doc* > *make[2]: Entering directory `/home/john/gzip-1.6/obj-llvm/doc'* > *make[2]: Nothing to be done for `all'.* > *make[2]: Leaving directory `/home/john/gzip-1.6/obj-llvm/doc'* > *Making all in .* > *make[2]: Entering directory `/home/john/gzip-1.6/obj-llvm'* > * CCLD gzip* > *Traceback (most recent call last):* > * File "/home/john/work/klee/scripts/klee-gcc", line 34, in <module>* > * main()* > * File "/home/john/work/klee/scripts/klee-gcc", line 30, in main* > * os.execvp("llvm-ld", ["llvm-ld", "--disable-opt"] + linkArgs)* > * File "/usr/lib/python2.7/os.py", line 344, in execvp* > * _execvpe(file, args)* > * File "/usr/lib/python2.7/os.py", line 380, in _execvpe* > * func(fullname, *argrest)* > *OSError: [Errno 2] No such file or directory* > *make[2]: *** [gzip] Error 1* > *make[2]: Leaving directory `/home/john/gzip-1.6/obj-llvm'* > *make[1]: *** [all-recursive] Error 1* > *make[1]: Leaving directory `/home/john/gzip-1.6/obj-llvm'* > *make: *** [all] Error 2* > > > Any suggestion on how i can generate the bit code > > Thanks > -Anas > > _______________________________________________ klee-dev mailing list > [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev > > >
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
