☰

在 18.04 上查找 PPA / 获取现代 GNU make

tag-icon • tag-icon apt compiling ppa make
在 18.04 上查找 PPA / 获取现代 GNU make

作为长期的 Fedora 用户，我被分配了一台 Ubuntu 机器，但我对如何找到“不稳定”的软件包有些困惑。具体来说，我需要make4.2，但 Ubuntu 显然只有 4.1。

我的理解是，我可能需要一个 PPA？我通常如何找到它们？在基于 yum/rpm 的系统上，我可能会从 rpmfind.net 开始，但对于 Ubuntu，我真的不知道要寻找什么。

简而言之：

  1. 一般情况下：如何查找 PPA？是否有“索引”？

  2. 具体来说：是否有带有 Make 4.2 的 PPA？

答案1

用于指导 Ubuntu 18.10 编译 .deb 文件的 make 4.2.1-1.2 实用程序可以从Ubuntu 官方网站. make 4.2.1-1.2 需要 libc6 >=2.27，Ubuntu 18.04 及更高版本默认安装该软件包。问题中提供的信息表明您正在使用 Ubuntu 18.04 或 Ubuntu 16.04。如果您需要更多最新软件包并且正在运行 Ubuntu 16.04，则应考虑将 Ubuntu 16.04 升级到最新的 LTS 版本 Ubuntu 18.04。

我在Ubuntu 的个人软件包档案网站按照指示如何搜索官方 PPA？。

要安装 make_4.2.1-1.2_amd64.deb 或 make_4.2.1-1.2_i386.deb，请双击它以在 Ubuntu 软件中安装。

答案2

除了提到的选项之外的另一种选择@卡雷尔是从源代码编译。为此，您需要获取源文件，当然还需要编译所需的东西。

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

相关内容