小弟下了 splint-3.1.1的包后 照网上的例子操作如下
# tar zxvf splint-3.1.1src.tgz
# cd splint-3.1.1
# mkdir /usr/local/splint
# ./configure --prefix=/usr/local/splint
# make install
# vi ~/.bashrc
添加:
export LARCH_PATH=/usr/local/splint/sha ...
阅读(1777) | 评论(0) | 转发(0) |
