一、splint下载。
下载splint网址:/downloads/splint-3.1. 
二、解压包 安装：
注意：有些地方要使用sudo超级用户
1、解压缩和建立安装路径
# tar -zxvf splint-3.1. 
# sudo mkdir /usr/local/splint(第一次使用SUDO会提示你输入密码，输入你的超级密码即可)
# cd splint-3.1.2
2、配置一下，后面的路径指明配置文件的安装的路径

# ./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、打开当前的bas文件
#vi ~/.bashrc（这里可能也会需要sudo超级用户）
在文件中加入：
export LARCH_PATH= /usr/local/splint/share/splint/lib

export LCLIMPORTDIR = /usr/local/splint/share/splint/import

LARCH_PATH - path to search for splint libraries and initializations files. If you are using the standard directories, this should be .:base-directory/splint-3.1.2/lib.




LCLIMPORTDIR - directory containing lcl imports files. If you are using the standard directories, this is base-directory/splint-3.1.2/imports.

2、使能当前文件
#source ~/.bashrc
3、配置环境变量
# exprot PATH=/usr/local/splint/bin:$PATHflex软件 

版权声明：本站内容均来自互联网，仅供演示用，请勿用于商业和其他非法用途。如果侵犯了您的权益请与我们联系QQ:729038198，我们将在24小时内删除。