Ubuntu 下安装splint

一、splint下载。

下载splint网址:http://www.splint.org/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.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/ forexample /usr/src/, it will report errors even if Splint was builtcorrectly. 

3、编译：

执行make命令（如果中途有出现yy什么未声明之类的，则sudo apt-get installflex，因为要用到flex静态库）

4、安装

# make install

三、配