Displaying 1 result from an estimated 1 matches for "8j2m3wzd".
2012 Jun 18
0
[LLVMdev] Problem compiling llvm-gcc (needed for KLEE)
Hi,
I'm having problems compiling
llvm-gcc-4.2-2.9 (from [1]). I need to use this version because I am
trying to use KLEE (see [3]) which needs these versions.
I am compiling on Arch Linux using gcc (GCC) 4.7.0 20120505 (prerelease)
the output of `gcc -v` can be found at http://pastebin.com/8j2m3wzD
I have tried the following
1. Extracted llvm-2.9 (from [2])
2. Applied a patch (adds missing unistd.h include) as mentioned here
http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20110808/126131.html
3. Now I compiled llvm-2.9 as follows
$ mkdir obj-llvm
$ cd obj-llvm
$ ../llvm-2.9/con...