Hi Tom, You mentioned that you compile llvm 2.9 from source using clang 2.9. Did you try also with llvm-gcc? I think that if you go for 2.9, that probably needs to be llvm-gcc as well.
Best regards, Tomek > On 16 May 2015, at 05:24, Tom Ritter <[email protected]> wrote: > > Hi all, > > I think this is a common problem, but I'm having difficulty building a > whole application for testing with klee. > > I tried a couple of approaches, and have wound up with a mess of > tools. These include: > - the llvm-gcc 2.9 binary distribution > - llvm 2.9 built from source (first without, then with, clang 2.9) > - wllvm > - wllvm with llvm-gcc support > > > I've tried the following to get a couple of > complex-but-not-too-complex projects: > > - klee-gcc (the wrapper script they wrote) seems to be admittedly inadequate. > It doesn't produce binary files, so configure scripts that check to > make sure the compiler works fails > > - the wllvm fork at [1] using llvm-gcc ends up failing with __FD > errors I can't track down: > undefined reference to `__FDELT' > undefined reference to `__FDMASK' > > - vanilla wllvm at [0] using clang (from my 2.9 llvm folder) ends up > failing with > /usr/bin/ld: cannot find crt1.o: No such file or directory > /usr/bin/ld: cannot find crti.o: No such file or directory > /usr/bin/ld: cannot find crtbegin.o: No such file or directory > /usr/bin/ld: cannot find -lgcc > /usr/bin/ld: cannot find -lgcc_s > > I fixed the first two missing crt files for the llvm-gcc case by > symlinking: > /home/tom/klee/llvm-gcc4.2-2.9-x86_64-linux/lib/gcc/x86_64-unknown-linux-gnu/4.2.1/crt1.o > -> /usr/lib/x86_64-linux-gnu/crt1.o > But I can't A) figure out where to put the symlinks for this version > of wllvm and B) can't find crtbegin.o > > -tom > > [0] https://github.com/travitch/whole-program-llvm > [1] https://github.com/delcypher/whole-program-llvm/tree/llvm-gcc > > _______________________________________________ > klee-dev mailing list > [email protected] > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
<<attachment: winmail.dat>>
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
