web-dev-qa-db-ja.com

PPAの検索/ 18.04の最新のGNU makeの取得

私は長年のFedoraユーザーだった後にUbuntuマシンを割り当てられましたが、「安定していない」パッケージを見つける方法に多少迷っています。具体的には、make 4.2が必要ですが、Ubuntuには4.1しかありません。

私の理解では、おそらくPPAが必要ですか？一般的にそれらを見つけるにはどうすればよいですか？ yum/rpmベースのシステムでは、おそらくrpmfind.netから始めますが、Ubuntuでは何を探すべきかわかりません。

つまり、要するに：

  1. 一般的に、PPAを見つけるにはどうすればよいですか？ 「インデックス」はありますか？

  2. 具体的に：Make 4.2にはPPAがありますか？

aptcompilingppamake
2
carlpett

ubuntu 18.10の.debファイルをコンパイルするためのmake 4.2.1-1.2ユーティリティは、 公式のUbuntu Webサイト からダウンロードできます。 make 4.2.1-1.2には、Ubuntu 18.04以降にデフォルトでインストールされるlibc6> = 2.27が必要です。質問に記載されている情報は、Ubuntu 18.04またはUbuntu 16.04を使用していることを示しています。最新のパッケージが必要で、Ubuntu 16.04を実行している場合は、Ubuntu 16.04を最新のLTSリリースであるUbuntu 18.04にアップグレードすることを検討してください。

buntuの個人パッケージアーカイブ Webサイトでmake 4.2を検索する運がありませんでした 公式PPAの検索方法 .

  • AMD64 （64ビット）
  • i386 （32ビット）

Make_4.2.1-1.2_AMD64.debまたはmake_4.2.1-1.2_i386.debをインストールするには、それをダブルクリックして開き、Ubuntuソフトウェアでインストールします。

2
karel

@ karel で言及されているものの横にある別のオプションは、ソースからコンパイルすることです。そのためには、ソースファイルを取得する必要があり、もちろんそれをコンパイルするにはあまりにも多くのものが必要です。

wget http://ftp.gnu.org/gnu/make/make-4.2.tar.gz
Sudo apt install build-essential

ソースtarballを解凍します。

tar -xf make-4.2.tar.gz

次に、Ubuntuで動作させるためのパッチを作成する必要があります。

wget https://raw.githubusercontent.com/osresearch/heads/make-4.2.1/patches/make-4.2.1.patch
patch < make-4.2.1.patch

求められたら、パッチに正しいファイルパスmake-4.2/glob/glob.cを指定します。その後、ビルドディレクトリを作成し、そこに移動できます。

mkdir make-4.2/build
cd make-4.2/build

次に、コンパイルを構成および作成します。

../configure prefix=/usr
make -j4

この時点で、次の方法でインストールできます。

make install
2
Videonauth