Ubuntu

如何在 Ubuntu 20.04 VM 上安裝 Splint?

  • January 8, 2021

我有一個在 Virtual Box 上執行的 Ubuntu 20.04 VM。我正在嘗試按照網站 ( http://splint.org/linux.html )上的說明在此 VM 上安裝 Splint 。

說明的第 5 點說要執行make install。當我執行它時,我得到一個錯誤:

$ make install
cd . && /bin/bash /home/user/Downloads/splint-3.1.1/config/missing --run aclocal-1.6 
/home/user/Downloads/splint-3.1.1/config/missing: line 46: aclocal-1.6: command not found
WARNING: `aclocal-1.6' is needed, and you do not seem to have it handy on your
        system.  You might have modified some files without having the
        proper tools for further handling them.  Check the `README' file,
        it often tells you about the needed prerequirements for installing
        this package.  You may also peek at any GNU archive site, in case
        some other package would contain this missing `aclocal-1.6' program.
make: *** [Makefile:138: aclocal.m4] Error 1

我試圖在 Stack Overflow 上的這個答案之後解決這個問題,但沒有成功。然後我刪除了虛擬機,創建了一個新虛擬機並重新開始安裝過程直到第 5 點,所以實際的虛擬機是乾淨的。

關於如何解決問題的任何想法?

我終於發現我也可以使用apt install splint,這沒有問題。他們提供的存檔可能有問題,我無法按照官方網頁中的說明完成安裝過程。

引用自:https://unix.stackexchange.com/questions/617998