Ubuntu 20.04仮想マシンにSplintをインストールする方法は?

Ubuntu 20.04仮想マシンにSplintをインストールする方法は?

Virtual BoxでUbuntu 20.04 VMを実行しています。 Webサイトの指示に従って、この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問題はありませんでした。おそらく彼らが提供したアーカイブに問題があるため、公式Webページの指示に従ってインストールプロセスを完了できなかった可能性があります。

おすすめ記事