ubuntu下llvm-gcc the Potential incompatible plugin version解决办法
2013-12-24 13:50
447 查看
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++
修改软链接不会卸载安装的任何版本,只是创建了一个快捷键。
修改完以后终于成功编译。
(测试方法见博客 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++
修改软链接不会卸载安装的任何版本,只是创建了一个快捷键。
修改完以后终于成功编译。
相关文章推荐
- The android gradle plugin version 2.3.0-alpha1 is too old, please update to the latest version.解决办法
- Error running example: This version of Android Studio is incompatible with the Gradle Plugin used.解决
- Android 解决Error running app: This version of Android Studio is incompatible with the Gradle Plugin
- This version of android studio is incompatible with the gradle version used.解决办法
- mvn install Geoserver under ubuntu10.04 时遇到的错误:the API of the mojo scanner is not compatible with this plugin version. 的解决方法
- This version of android studio is incompatible with the gradle version used.Try disabling the instant run解决办法
- This version of Android Studio is incompatible with the Gradle Plugin used解决
- 解决gradle升级报错 This version of Android Studio is incompatible with the Gradle Plugin used
- Android Studio --- android gradle plugin version 2.3.0-alpha1 is too old 解决办法
- 优雅解决The android gradle plugin version 3.0.0-alpha1 is too old, update to the latest version
- android 关于Make sure the plugin is properly configured问题的解决办法
- 【Linux】Ubuntu gcc编译安装fcgi出错的解决办法
- Error running app.main: This version of Android Studio is incompatible with the Gradle Plugin used.
- prebuilt/linux-x86/toolchain/arm-eabi-4.4.3/bin/arm-eabi-gcc: /lib/libc.so.6: version `GLIBC_2.11' not found:解决办法
- mac eclipse报错:failed to get the required adt version number from the sdk的解决办法
- Ubuntu更新出现"The system is running in low-graphics mode"错误提示的解决办法
- ubuntu android 找不到arm-hisiv200-linux-gcc解决办法
- Error running app: This version of Android Studio is incompatible with the Gradle Plugin used.
- Error running app: This version of Android Studio is incompatible with the Gradle Plugin used. Try d
- Error running app: This version of Android Studio is incompatible with the Gradle Plugin used. Try d