☰

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

tag-icon • tag-icon ubuntu software-installation make
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ページの指示に従ってインストールプロセスを完了できなかった可能性があります。

関連情報