--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 <[email protected]> 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
[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
