KLEE doesn't currently work with 'make install'. The error you are getting is easy to fix, but KLEE still won't work because it doesn't know how to find the runtime files once installed.
- Daniel 2010/4/17 <daqi at ruc.edu.cn>: > Hello. When I make install your program klee, there is an error occurred > like this. > > make[2]: Entering directory `/mnt/klee/klee/tools/ktest-tool' > llvm[2]: Installing Release /mnt/klee/klee/install/bin/ktest-tool > strip: /mnt/klee/klee/install/bin/ktest-tool: File format not recognized > /usr/bin/install: strip process terminated abnormally > make[2]: *** [/mnt/klee/klee/install/bin/ktest-tool] Error 1 > make[2]: Leaving directory `/mnt/klee/klee/tools/ktest-tool' > make[1]: *** [ktest-tool/.makeinstall] Error 2 > make[1]: Leaving directory `/mnt/klee/klee/tools' > make: *** [install] Error 1 > > I don't know how to deal with it , looking forward to your help. Thx. > > ?? > Qi Wang > Computer Science and Technology > School of Information > Renmin University of China > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev > >
