splint与安装.docVIP

一、splint下载。下载splint网址:/downloads/splint-3.1.2.src.tgz??二、解压包 安装：注意：有些地方要使用sudo超级用户1、解压缩和建立安装路径# tar -zxvf splint-3.1.2.linux.tgz?# sudo mkdir /usr/local/splint(第一次使用SUDO会提示你输入密码，输入你的超级密码即可)# cd splint-3.1.22、配置一下，后面的路径指明配置文件的安装的路径 # ./configure --prefix=/usr/local/splint notes:If possible do not built splint in a directory under /usr/. If the test suite is run in a directory under /usr/ for example /usr/src/, it will report errors even if Splint was built correctly.? 3、编译：执行make命令（如果中途有出现yy什么未声明之类的，则sudo apt-get install flex，因为要用到flex静态库）4、安装# make install三、配置1、打开当前的bash资源文件#vi ~