Your python install is too old (the argparse module was introduced in python2.7) you need python 2.7 or later. You can find your current python version by running
$ python --version I think you said you were using Ubuntu 10.04 in which case the python version is probably 2.6.5 . Unless you have a good reason to be running such an old version of python (or Ubuntu for that matter) you should upgrade. On 20 September 2013 17:50, Saikat Dutta <[email protected]> wrote: > Hi, > At the "extract-bc gzip" stage following error is produced: > > Traceback (most recent call last): > File > "/home/saikat/Downloads/llvm_new/whole-program-llvm-llvm-gcc/extract-bc", > line 269, in <module> > sys.exit(main(sys.argv)) > File > "/home/saikat/Downloads/llvm_new/whole-program-llvm-llvm-gcc/extract-bc", > line 212, in main > import argparse > ImportError: No module named argparse > > > > > > > On Fri, Sep 20, 2013 at 10:09 PM, Daniel Liew <[email protected]> > wrote: >> >> On 20 September 2013 17:15, Saikat Dutta <[email protected]> >> wrote: >> > Hi, >> > Everything goes fine with wllvm according to the way you described in >> > the >> > previous mail. No errors till make step. >> >> If you don't tell us what the errors are we will **not** be able to >> help you. If you see an error tell us what it is. >> >> > But instead of "gzip.bc" or >> > "gzip.o.bc" , ".gzip.o.bc" is being formed. >> >> .gzip.o.bc is a LLVM bitcode file that corresponds to the gzip.o >> object file (this mostly likely corresponds with gzip.c) . It is >> **not** the finally linked executable. You are only supposed to run >> extract-bc on the the finally linked executable (or on static >> libraries) **not** on object files. >> >> I just tried this and it works fine. You should run extract-bc on the >> "gzip" executable. >> >> # I assume you have llvm-gcc in your path and it was the pre-built >> binary llvm-gcc 4.2 >> >> $ export LLVM_COMPILER=llvm-gcc >> $ export WLLVM_OUTPUT=WARNING >> $ export >> LLVM_COMPILER_PATH=/your/path/to/the/llvm2.9/build/Release+Asserts/bin >> $ wget http://ftp.gnu.org/gnu/gzip/gzip-1.6.tar.xz >> $ tar -xvf gzip-1.6.tar.xz >> $ cd gzip-1.6 >> $ CC=wllvm ./configure >> $ make -j4 >> $ extract-bc gzip >> >> # gzip.bc will now be in the current directory >> >> > When I use extract bc on it, >> > error is generated. Please help. >> > -Saikat >> >> Again... If there is an error message tell us what it is. >> >> Hope that helps. >> >> Dan. > > _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
