Мне присвоили машина Ubuntu, будучи давним пользователем Fedora, и я несколько потерян в том, как найти "нестабильные" пакеты. А именно, мне нужно make
4.2, но Ubuntu по-видимому только имеет 4.1.
Мое понимание - то, что мне, вероятно, нужен PPA? Как я обычно нахожу их? В yum/rpm-based системах я, вероятно, запустил бы с rpmfind.net, но с Ubuntu я действительно не знаю, что искать.
Так, короче говоря:
Обычно: Как я нахожу PPAs? Существует ли "индекс"?
Конкретно: существует ли PPA с, Делают 4.2?
сделайте 4.2.1-1.2 утилиты для направления компиляции .deb, файлы для Ubuntu 18.10 могут быть загружены с официального веб-сайта Ubuntu. сделайте 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.
У меня не было удачи при поиске, делают 4.2 в Персональных Архивах Пакета для веб-сайта Ubuntu, как проинструктировано к тем, Как искать официальный PPA?.
Для установки make_4.2.1-1.2_amd64.deb или make_4.2.1-1.2_i386.deb дважды щелкают по нему для открытия его для установки в программном обеспечении Ubuntu.
Другая опция около той, упомянутой @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