Ubuntu 20.04 가상 머신에 Splint를 설치하는 방법은 무엇입니까?

Ubuntu 20.04 가상 머신에 Splint를 설치하는 방법은 무엇입니까?

Virtual Box에서 Ubuntu 20.04 VM을 실행하고 있습니다. 웹사이트의 지침에 따라 이 VM에 Splint를 설치하려고 합니다(http://splint.org/linux.html).

지침의 5번 항목에 run 이라고 나와 있습니다 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

나는 이 문제를 다음과 같이 해결하려고 노력한다.스택 오버플로에 대한 이 답변, 성공하지 못했습니다. 그런 다음 VM을 삭제하고 새 VM을 만든 다음 지점 5까지 설치 프로세스를 다시 시작하여 실제 VM이 깨끗해졌습니다.

이 문제를 해결하는 방법에 대한 아이디어가 있습니까?

답변1

마침내 나도 그것을 사용할 수 있다는 것을 알았고 apt install splint아무런 문제가 없었습니다. 어쩌면 그들이 제공한 아카이브에 문제가 있어서 공식 웹페이지의 지침에 따라 설치 과정을 완료할 수 없었을 수도 있습니다.

관련 정보