2017-10-27 20:46:27 +02: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 22:05:20 +02:00
|
|
|
|
# URL: https://github.com/rhinstaller/efibootmgr
|
2018-03-22 01:00:35 +01:00
|
|
|
|
# Paketçi: milisarge
|
2017-10-27 20:46:27 +02:00
|
|
|
|
# Gerekler: efivar
|
2018-08-17 07:38:54 +02:00
|
|
|
|
# Grup: sistem
|
2016-08-01 22:05:20 +02:00
|
|
|
|
|
2017-10-28 14:10:23 +02:00
|
|
|
|
isim=efibootmgr
|
2018-03-22 01:00:35 +01:00
|
|
|
|
surum=0.15
|
2017-10-28 14:10:23 +02:00
|
|
|
|
devir=1
|
2018-03-22 01:00:35 +01:00
|
|
|
|
kaynak=(https://github.com/rhboot/efibootmgr/archive/15.tar.gz::${isim}-${surum}.tar.gz)
|
2016-08-01 22:05:20 +02:00
|
|
|
|
|
2017-10-27 23:59:41 +02:00
|
|
|
|
derle() {
|
2018-03-22 01:00:35 +01:00
|
|
|
|
cd $isim-15
|
|
|
|
|
make EXTRA_CFLAGS="-Os" EFIDIR="/boot/EFI"
|
|
|
|
|
install -D src/efibootmgr $PKG/usr/bin/efibootmgr
|
2016-08-01 22:05:20 +02:00
|
|
|
|
install -D src/efibootmgr.8 $PKG/usr/man/man8/efibootmgr.8
|
|
|
|
|
}
|