2017-10-27 21:46:27 +03:00
|
|
|
|
# Tanım: UEFI üretici yazılımı önyükleme yöneticisi değişkenlerini değiştirmek için kullanılan araç
|
2016-08-01 20:05:20 +00:00
|
|
|
|
# URL: https://github.com/rhinstaller/efibootmgr
|
2018-03-22 02:00:35 +02:00
|
|
|
|
# Paketçi: milisarge
|
2017-10-27 21:46:27 +03:00
|
|
|
|
# Gerekler: efivar
|
2018-08-17 05:38:54 +00:00
|
|
|
|
# Grup: sistem
|
2016-08-01 20:05:20 +00:00
|
|
|
|
|
2017-10-28 15:10:23 +03:00
|
|
|
|
isim=efibootmgr
|
2018-03-22 02:00:35 +02:00
|
|
|
|
surum=0.15
|
2017-10-28 15:10:23 +03:00
|
|
|
|
devir=1
|
2018-03-22 02:00:35 +02:00
|
|
|
|
kaynak=(https://github.com/rhboot/efibootmgr/archive/15.tar.gz::${isim}-${surum}.tar.gz)
|
2016-08-01 20:05:20 +00:00
|
|
|
|
|
2017-10-28 00:59:41 +03:00
|
|
|
|
derle() {
|
2018-03-22 02:00:35 +02:00
|
|
|
|
cd $isim-15
|
|
|
|
|
make EXTRA_CFLAGS="-Os" EFIDIR="/boot/EFI"
|
|
|
|
|
install -D src/efibootmgr $PKG/usr/bin/efibootmgr
|
2016-08-01 20:05:20 +00:00
|
|
|
|
install -D src/efibootmgr.8 $PKG/usr/man/man8/efibootmgr.8
|
|
|
|
|
}
|