------------------------------------ 版权信息 ------------------------------------
此文链接: http://http://blog.csdn.net/doniexun
此文作者: Windness
版权说明: 此文为作者经过检索网上资源及根据个人开发经验整理所得,所有参考文献均已在文末标注,转载请务必保留此版权信息!
------------------------------------ 版权信息 ------------------------------------
1. 安装文件准备
1) 下载splint
官方主页: http://www.splint.org
下载链接: http://www.splint.org/downloads/splint-3.1.2.src.tgz
原Lclint源码主页: http://sourceforge.net/projects/lclint/
2) 如果系统中未安装flex/bison/autoconf/automake/m4等工具,还需要下载以上工具.
# 下载autoconf
FTP站点: ftp://ftp.gnu.org/gnu/
下载链接: ftp://ftp.gnu.org/gnu/autoconf/autoconf-2.69.tar.gz (automake1.15要求autuconf2.65+)
# 下载automake
HTTP站点: http://ftp.gnu.org/gnu/
下载链接: http://ftp.gnu.org/gnu/automake/automake-1.15.tar.gz
# 下载bison
FTP站点: ftp://ftp.gnu.org/gnu/
下载链接: ftp://ftp.gnu.org/gnu/bison/bison-3.0.2.tar.gz
# 下载flex
源码主页: http://sourceforge.net/projects/flex/
下载链接: http://cznic.dl.sourceforge.net/project/flex/flex-2.5.39.tar.bz2
# 下载m4
HTTP站点: http://ftp.gnu.org/gnu/
下载链接: http://ftp.gnu.org/gnu/m4/m4-1.4.17.tar.gz
2. 安装过程
1) m4
2) autoconf
3) automake
4) flex
5) bison
6) splint
其中,
1)~3)均可以直接在Terminal下依次使用命令: # ./configure | # make | # sudo make install 完成安装,安装路径默认为: /usr/local/bin/***;
4)~5)除了按1)~3)的安装步骤安装外,还可以直接利用Ubuntu的源进行安装: sudo apt-get install flex bison
6)安装步骤如下:
A) 解压缩到任意位置,如: /home/{User}/Applications/目录下,解压后Splint的源码路径为: /home/{User}/Applications/splint-3.1.2
命令: # tar -zxvf splint-3.1.2.src.tgz
B) 创建安装目录
命令: # sudo mkdir /usr/local/splint
C) 进入解压后的splint目录
命令: # cd splint-3.1.2
D) 完成配置
命令: # ./configure --prefix=/usr/local/splint
注意: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.
E) 完成编译
命令: # make
注意: 若编译过程中发现找不到yywarp的错误,则进入splint解压后根目录下的src目录，打开文件cscanner.c，在其后添加以下代码：
int yywrap()
{
return 1;
}
重新make即可.
F) 完成安装
命令: # make install
G) 配置环境
命令: # sudo vi ~/.bashrc
在.bashrc文件中输入以下内容:
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.
H) 使配置生效
命令: # source ~/.bashrc
I) 配置环境变量(亦可按照步骤G和H一样,将下面着底色字符串写入~/.bashrc文件中,并再次source使能)
命令: # export PATH=/usr/local/splint/bin:$PATH
如此,splint即安装成功!
3. 参考资料
1) Splint官方网站: http://www.splint.org/source.html
2) splint 编译安装 http://blog.csdn.net/sunjiajiang/article/details/7368684