Hi, if you built LLVM in multiple modes, you need to select one by using --with-llvm-build-mode. See this thread for details: http://keeda.stanford.edu/pipermail/klee-commits/2011-May/000855.html
Best, Cristian On 09/14/2011 08:52 AM, [email protected] wrote: > HI, > When I compile the klee source file. The command $ ./configure > --with-llvm=path/to/llvm can't execute normally. > the log is listed as below: > checking build system type... x86_64-unknown-linux-gnu > checking host system type... x86_64-unknown-linux-gnu > checking target system type... x86_64-unknown-linux-gnu > checking type of operating system we're going to host on... > checking llvm source dir... /home/klee/llvm-2.8 > checking llvm obj dir... /home/klee/llvm-2.8 > checking llvm package version... 2.8 > checking llvm version major... 2 > checking llvm version minor... 8 > checking llvm is release version... 1 > checking llvm build mode... configure: error: Could not autodetect build mode > > > _______________________________________________ > klee-dev mailing list > [email protected] > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev _______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
