gzip is also maintained by GNU, like Coreutils. So they have the same build system. The method for Coreutils works for gzip.
just have a try of the following: $ wget http://ftp.gnu.org/gnu/gzip/gzip-1.6.tar.xz $ unxz ./gzip-1.6.tar.xz $ tar xf ./gzip-1.6.tar $ cd gzip-1.6 $ mkdir obj-llvm $ ../configure CFLAGS="-g" $ make CC=`which klee-gcc` This will generate the gzip.bc without problems. On Wed, Sep 18, 2013 at 2:35 PM, Saikat Dutta <[email protected] > wrote: > Hi, > I was talking about multiple file programs containing multiple .c and .h > files. For klee to run it is required to compile the code with llvm-gcc. I > have used klee for single file programs. But I am not sure on how to use > klee over such multiple file applications. Will putting CC variable in the > makefile as llvm-gcc do the job? It will be best if you can send me an > example over how to do that. Please do help. I am in urgent need. > Thanks. > -Saikat > > > On Wed, Sep 18, 2013 at 11:51 PM, Lei Zhang <[email protected]> wrote: > >> Hi Saikat, >> >> From my understanding, every .c file is compiled and then linked to the >> final binary. By running KLEE on that binary, you are touching code in all >> these source files. And you can verify that by checking the 'gcov' output. >> >> Or maybe I didn't fully understand your concern? Could you specify your >> tasks more clearly? >> >> >> On Tue, Sep 17, 2013 at 2:25 PM, Saikat Dutta < >> [email protected]> wrote: >> >>> Hi, >>> I am working on a research project where i need to run multiple file >>> programs using klee. I am actually testing the gzip utility which contains >>> a number of .c and .h files. Can you help me in this regard? >>> >>> Thanks. >>> -Saikat >>> >>> _______________________________________________ >>> klee-dev mailing list >>> [email protected] >>> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev >>> >>> >> >> >> -- >> Best regards, >> Lei Zhang >> > > -- Best regards, Lei Zhang
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
