> Then I used the following command to configure the klee-uclibc: > > ./configure --make-llvm-lib --with-llvm-config=/path/to/llvm-config
You are replacing ``/path/to/llvm-config`` with the actual path to llvm-config right? You don't need to specify this argument if llvm-config is in your path. > "/home/gli/peng/Software/python-inst/lib/python2.7/subprocess.py", line > 1327, in _execute_child > raise child_exception > OSError: [Errno 13] Permission denied The configure script can't execute llvm-config. You need to fix this. If you pass ``--log-level debug`` you may get more clues. _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
