On Tue, Mar 22, 2011 at 10:39 PM, Leong Wai Meng <star03629 at gmail.com>wrote:
> I have tried to compile php(libphp5.so) under llvm-gcc and llvm-ld with > libphp5.so and my test program. > However, it still failed.... > Why? Basically, you should compile whole libphp5 into single bitcode file and then statically link this file with bitcode of yours program. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20110324/56f77086/attachment.html
