ubuntu下llvm-gcc the Potential incompatible plugin version解决办法

ubuntu安装klee（安装方法见另一篇博客 http://blog.csdn.net/mulingf/article/details/17528059）

（测试方法见博客 http://blog.csdn.net/mulingf/article/details/17528183）

编译（llvm-gcc --emit-llvm -c -g get_sign.c）出现下面的警告:

the Potential incompatible plugin version. GCC: **. Expected: **

需要注意的是：klee只支持LLVM 2.9，版本要统一。

1.察看当前版本
llvm-gcc -v

要求gcc version 4.2.1 (Based on Apple Inc. build 5658)(LLVM build 2.9)

2.察看已安装版本
 （ls /usr/bin/llvm-gcc* -ll）

~$ ls /usr/bin/gcc* -ll
lrwxrwxrwx 1 root root      7  3月 16  2013 /usr/bin/gcc -> gcc-4.6
-rwxr-xr-x 1 root root 306200  4月 16  2012 /usr/bin/gcc-4.6

3.安装好后修改软连接

我之前安装过4.6版本的llvm-gcc，按另一篇博客中klee的安装方法，是需要4.2版本，我需要降低版本。

（sudo rm /usr/bin/gcc

sudo ln -s /usr/bin/gcc-3.4 /usr/bin/gcc）


~$ sudo ln -s /home/gfj/work/llvm-gcc-4.2-2.9-i686-linux/bin/llvm-gcc /usr/bin/llvm-gcc

~$ sudo ln -s /home/gfj/work/llvm-gcc-4.2-2.9-i686-linux/bin/llvm-g++ /usr/bin/llvm-g++

修改软链接不会卸载安装的任何版本，只是创建了一个快捷键。

修改完以后终于成功编译。