
Ich habe eine CentOS 7 x86_64-Installation, auf der ich ein Paket namens installieren möchte frama-c
. Dieses Paket befindet sich nicht in den Repos, die ich bisher konfiguriert habe:
# yum search frama-c
Loaded plugins: fastestmirror
Loading mirror speeds from cached hostfile
* base: centos.datente.com
* epel: epel.besthosting.ua
* epel-testing: epel.besthosting.ua
* extras: centos.mirror.iphh.net
* updates: artfiles.org
Warning: No matches found for: frama-c
No matches found
Ich habe das heruntergeladen fullfilelist
vonhttps://dl.fedoraproject.org/pub/fedora/und wenn ich nach frama-c grepe, sieht das Ergebnis vielversprechend aus:
$ grep 'development.*x86_64.*frama-c' fullfilelist.txt
./linux/development/26/Everything/x86_64/debug/tree/Packages/f/frama-c-debuginfo-1.14-1.fc26.x86_64.rpm
./linux/development/26/Everything/x86_64/os/Packages/f/frama-c-doc-1.14-1.fc26.noarch.rpm
./linux/development/26/Everything/x86_64/os/Packages/f/frama-c-emacs-1.14-1.fc26.noarch.rpm
./linux/development/26/Everything/x86_64/os/Packages/f/frama-c-xemacs-1.14-1.fc26.noarch.rpm
./linux/development/26/Everything/x86_64/os/Packages/f/frama-c-1.14-1.fc26.x86_64.rpm
./linux/development/rawhide/Everything/x86_64/debug/tree/Packages/f/frama-c-debuginfo-1.14-1.fc27.x86_64.rpm
./linux/development/rawhide/Everything/x86_64/os/Packages/f/frama-c-doc-1.14-1.fc27.noarch.rpm
./linux/development/rawhide/Everything/x86_64/os/Packages/f/frama-c-1.14-1.fc27.x86_64.rpm
./linux/development/rawhide/Everything/x86_64/os/Packages/f/frama-c-emacs-1.14-1.fc27.noarch.rpm
./linux/development/rawhide/Everything/x86_64/os/Packages/f/frama-c-xemacs-1.14-1.fc27.noarch.rpm
Was ist die richtige Art und Weise, beispielsweise das Rawhide-Repository zu meiner aktuellen Liste von Repositorys hinzuzufügen, sodass ich die Installation mit einem einzigen durchführen kann yum install frama-c
?
Antwort1
Es ist nie eine gute Idee, Pakete für verschiedene Systeme zu mischen. Es könnte funktionieren, aber Sie könnten auf schwer zu debuggende Probleme stoßen. Aber höchstwahrscheinlich wird es nicht funktionieren.
Am besten ist es, das Paket für Ihr System neu zu erstellen. Sie können entweder den aktuellen Paketbetreuer bitten, dies für Sie zu tun (EPEL7-Paket hinzufügen, das in Ihrem EPEL-Repository angezeigt wird) oder es selbst tun:
Laden Sie das neueste SRPM-Paket herunter vonKoji:
wget https://kojipkgs.fedoraproject.org//packages/frama-c/1.14/1.fc27/src/frama-c-1.14-1.fc27.src.rpm
Bauen Sie es für Ihr System neu auf (lösen Sie ggf. fehlende Abhängigkeiten auf, sofern vorhanden):
rpmbuild --rebuild frama-c-1.14-1.fc27.src.rpm
Installieren Sie das Paket:
yum install ~/rpmbuild/RPMS/.../path/../to/your.rpms