Après avoir été un utilisateur de longue date de Fedora, on m'a attribué une machine Ubuntu et je suis un peu perdu dans la recherche de paquets "non stables". Plus précisément, j'ai besoin de make
4.2, mais Ubuntu n'a apparemment que 4.1.
Si j'ai bien compris, j'ai probablement besoin d'un AAE? Comment puis-je les trouver en général? Sur les systèmes basés sur yum/rpm, je commencerais probablement par rpmfind.net, mais avec Ubuntu, je ne sais pas vraiment quoi chercher.
Donc, en bref:
En général: comment trouver des AAE? Y a-t-il un "index"?
Plus précisément: existe-t-il un PPA avec Make 4.2?
l’utilitaire make 4.2.1-1.2 permettant d’orienter la compilation des fichiers .deb pour Ubuntu 18.10 peut être téléchargé à partir de site officiel de Ubunt . make 4.2.1-1.2 requiert libc6> = 2.27 qui est installé par défaut dans Ubuntu 18.04 et versions ultérieures. Les informations fournies dans votre question indiquent que vous utilisez soit Ubuntu 18.04, soit Ubuntu 16.04. Si vous avez besoin de paquets plus récents et que vous exécutez Ubuntu 16.04, envisagez de mettre à niveau Ubuntu 16.04 vers la dernière version de LTS, Ubuntu 18.04.
Je n’ai pas eu de chance en cherchant make 4.2 sur le site Archives de paquets personnels pour Ubunt comme indiqué par Comment rechercher un PPA officiel? .
Pour installer make_4.2.1-1.2_AMD64.deb ou make_4.2.1-1.2_i386.deb, double-cliquez dessus pour l'ouvrir afin de l'installer dans le logiciel Ubuntu.
Une autre option à côté de celle mentionnée par @ karel consiste à compiler à partir des sources. Pour cela, vous devez obtenir les fichiers source et bien sûr aussi des éléments pour le compiler.
wget http://ftp.gnu.org/gnu/make/make-4.2.tar.gz
Sudo apt install build-essential
Décompressez maintenant l'archive source:
tar -xf make-4.2.tar.gz
Ensuite, vous devez créer un correctif pour le faire fonctionner sous Ubuntu:
wget https://raw.githubusercontent.com/osresearch/heads/make-4.2.1/patches/make-4.2.1.patch
patch < make-4.2.1.patch
Lorsque vous y êtes invité, donnez au correctif le bon chemin de fichier make-4.2/glob/glob.c
. Ensuite, vous pouvez créer le répertoire de construction et y accéder:
mkdir make-4.2/build
cd make-4.2/build
Maintenant, configurez et effectuez la compilation:
../configure prefix=/usr
make -j4
À ce stade, vous pouvez l’installer par
make install