Question

2

Finding PPAs / Getting a modern GNU make on 18.04

rated 0 times [ 2] [ 0] / answers: 1 / hits: 2034 / 3 Years ago, sun, june 13, 2021, 6:01:48

I've been assigned an Ubuntu machine, after being a long-time Fedora user, and I'm somewhat lost in how to find "non-stable" packages. Specifically, I need make 4.2, but Ubuntu apparently only has 4.1.

My understanding is that I probably need a PPA? How do I find those generally? On yum/rpm-based systems I would probably start with rpmfind.net, but with Ubuntu I don't really know what to look for.

So, in short:

Generally: How do I find PPAs? Is there an "index"?

Specifically: Is there a PPA with Make 4.2?

Answers

Only authorized users can answer the question. Please sign in first, or register a free account.

nsuainner

Add To Favorites

Follow

Total Points: 141

Total Questions: 102

Total Answers: 109

Location: Maldives

Member since Sat, Jan 29, 2022

2 Years ago

answered 3 Years ago ularousand · Accepted Answer

make 4.2.1-1.2 utility for directing compilation .deb files for Ubuntu 18.10 can be downloaded from the official Ubuntu website. make 4.2.1-1.2 requires libc6 >=2.27 which is installed by default in Ubuntu 18.04 and later. The information given in your question shows that you are using either Ubuntu 18.04 or Ubuntu 16.04. If you need more up-to-date packages and are running Ubuntu 16.04, you should consider upgrading Ubuntu 16.04 to the latest LTS release, Ubuntu 18.04.

I had no luck searching for make 4.2 at the Personal Package Archives for Ubuntu website as instructed to by How to search for an official PPA?.

amd64 (64-bit)

i386 (32-bit)

To install make_4.2.1-1.2_amd64.deb or make_4.2.1-1.2_i386.deb double-click it to open it for installation in Ubuntu Software.