[klee-dev] --disable-nls option

[Andrew Santosa]

--disable-nls is specific to Coreutils. You may not need to worry about it. Since you have a Makefile, perhaps you could try the following to build your benchmark:

LLVM_COMPILER=clang CC=wllvm CXX=wllvm++ make
After the above produced a binary, say prog, please do the following:
extract-bc prog
To get prog.bc

Best,Andrew

On Fri Jul 07 2017 17:06:11 GMT+0800 (SGT), BNM <boooth_2006 at yahoo.com> wrote:

Hello,

I have tried to use KLEE with some benchmarks and I have followed the 
tutorial of using KLEE with Coreutils. After I installed WLLVM, I have 
tried to build the benchmark with LLVM as mentioned in Step three but I 
don't know where can I put the option of disabling nls  (--disable-nls). The benchmark doesn't have configure shell script , just has  make file. Can anyone help me to solve this issue ?
Thank you,

_______________________________________________
klee-dev mailing list
klee-dev at imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
-------------- next part --------------
HTML attachment scrubbed and removed