From 62e6db1a0d4a1708867131473c9f48e2d8c9d523 Mon Sep 17 00:00:00 2001
From: davidovski <david@davidovski.xyz>
Date: Tue, 18 Jan 2022 16:41:30 +0000
Subject: added efi tools

---
 repo/system/efibootmgr.xibuild | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 repo/system/efibootmgr.xibuild

(limited to 'repo/system/efibootmgr.xibuild')

diff --git a/repo/system/efibootmgr.xibuild b/repo/system/efibootmgr.xibuild
new file mode 100644
index 0000000..82020cf
--- /dev/null
+++ b/repo/system/efibootmgr.xibuild
@@ -0,0 +1,20 @@
+#!/bin/bash
+
+DEPS=(efivar popt)
+
+PKG_VER=17
+SOURCE=https://github.com/rhboot/efibootmgr/archive/$PKG_VER/efibootmgr-$PKG_VER.tar.gz
+DESC="Tools and libraries to manipulate EFI variables"
+
+prepare () {
+    # fix an outdated hotfix declaration causing compilation failure
+    sed -e '/extern int efi_set_verbose/d' -i src/efibootmgr.c
+}
+
+build () {
+    make EFIDIR=XI EFI_LOADER=grubx64.efi
+}
+
+package () {
+    make EFIDIR=XI DESTDIR=$PKG_DEST install 
+}
-- 
cgit v1.2.1