Hi everyone, I got some errors when using the llvm gold plugin to compile a single bitcode file.
clang -I ~/Path/to/klee-src/include -flto -fuse-ld=gold -Wl,-plugin-opt=save-temps foo.c get_sign.c -o main The path is correct, but for some reason, clang couldn't find KLEE's APIs, and this only occurs when using LLVM gold. main.o:ld-temp.o:function main: error: undefined reference to 'klee_make_symbolic' clang: error: linker command failed with exit code 1 (use -v to see invocation) Do you have an idea how to fix this? Thanks, Sang
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev