------------------------------------ 版權資訊 ------------------------------------

此文連結: http://blog.csdn.net/doniexun/article/details/45219863

此文作者: 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