Ubuntu
如何在 Ubuntu 20.04 VM 上安裝 Splint?
我有一個在 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
,這沒有問題。他們提供的存檔可能有問題,我無法按照官方網頁中的說明完成安裝過程。