diff options
author | Thomas Penteker <tek@serverop.de> | 2014-02-13 14:48:23 +0100 |
---|---|---|
committer | Thomas Penteker <tek@serverop.de> | 2014-02-13 14:48:23 +0100 |
commit | 32197789b94ee7f2336a8d7adb1c81d46967e571 (patch) | |
tree | 90d3b8c28557f3120309208b50edb4a1b422fdca /gnu-efi | |
parent | 1c2088b88a5787cabd69763cf12fe9e0a4e8d060 (diff) | |
download | opt-32197789b94ee7f2336a8d7adb1c81d46967e571.tar.gz opt-32197789b94ee7f2336a8d7adb1c81d46967e571.tar.xz |
import efitbootmgr and gnu-efi from contrib
Diffstat (limited to 'gnu-efi')
-rw-r--r-- | gnu-efi/.footprint | 49 | ||||
-rw-r--r-- | gnu-efi/.md5sum | 1 | ||||
-rw-r--r-- | gnu-efi/Pkgfile | 15 |
3 files changed, 65 insertions, 0 deletions
diff --git a/gnu-efi/.footprint b/gnu-efi/.footprint new file mode 100644 index 000000000..d599d81e6 --- /dev/null +++ b/gnu-efi/.footprint @@ -0,0 +1,49 @@ +drwxr-xr-x root/root usr/ +drwxr-xr-x root/root usr/include/ +drwxr-xr-x root/root usr/include/efi/ +-rw-r--r-- root/root usr/include/efi/efi.h +-rw-r--r-- root/root usr/include/efi/efi_nii.h +-rw-r--r-- root/root usr/include/efi/efi_pxe.h +-rw-r--r-- root/root usr/include/efi/efiapi.h +-rw-r--r-- root/root usr/include/efi/eficon.h +-rw-r--r-- root/root usr/include/efi/efidebug.h +-rw-r--r-- root/root usr/include/efi/efidef.h +-rw-r--r-- root/root usr/include/efi/efidevp.h +-rw-r--r-- root/root usr/include/efi/efierr.h +-rw-r--r-- root/root usr/include/efi/efifs.h +-rw-r--r-- root/root usr/include/efi/efigpt.h +-rw-r--r-- root/root usr/include/efi/efiip.h +-rw-r--r-- root/root usr/include/efi/efilib.h +-rw-r--r-- root/root usr/include/efi/efilink.h +-rw-r--r-- root/root usr/include/efi/efinet.h +-rw-r--r-- root/root usr/include/efi/efipart.h +-rw-r--r-- root/root usr/include/efi/efipciio.h +-rw-r--r-- root/root usr/include/efi/efiprot.h +-rw-r--r-- root/root usr/include/efi/efipxebc.h +-rw-r--r-- root/root usr/include/efi/efirtlib.h +-rw-r--r-- root/root usr/include/efi/efiser.h +-rw-r--r-- root/root usr/include/efi/efistdarg.h +-rw-r--r-- root/root usr/include/efi/efitcp.h +-rw-r--r-- root/root usr/include/efi/efiudp.h +-rw-r--r-- root/root usr/include/efi/efiui.h +-rw-r--r-- root/root usr/include/efi/libsmbios.h +-rw-r--r-- root/root usr/include/efi/pci22.h +drwxr-xr-x root/root usr/include/efi/protocol/ +-rw-r--r-- root/root usr/include/efi/protocol/adapterdebug.h +-rw-r--r-- root/root usr/include/efi/protocol/eficonsplit.h +-rw-r--r-- root/root usr/include/efi/protocol/efidbg.h +-rw-r--r-- root/root usr/include/efi/protocol/efivar.h +-rw-r--r-- root/root usr/include/efi/protocol/intload.h +-rw-r--r-- root/root usr/include/efi/protocol/legacyboot.h +-rw-r--r-- root/root usr/include/efi/protocol/piflash64.h +-rw-r--r-- root/root usr/include/efi/protocol/vgaclass.h +-rw-r--r-- root/root usr/include/efi/romload.h +drwxr-xr-x root/root usr/include/efi/x86_64/ +-rw-r--r-- root/root usr/include/efi/x86_64/efibind.h +-rw-r--r-- root/root usr/include/efi/x86_64/efilibplat.h +-rw-r--r-- root/root usr/include/efi/x86_64/pe.h +drwxr-xr-x root/root usr/lib/ +-rw-r--r-- root/root usr/lib/crt0-efi-x86_64.o +-rw-r--r-- root/root usr/lib/elf_x86_64_efi.lds +-rw-r--r-- root/root usr/lib/libefi.a +-rw-r--r-- root/root usr/lib/libgnuefi.a diff --git a/gnu-efi/.md5sum b/gnu-efi/.md5sum new file mode 100644 index 000000000..59e01e7b3 --- /dev/null +++ b/gnu-efi/.md5sum @@ -0,0 +1 @@ +d15d3c700e79a1e2938544d73edc572d gnu-efi_3.0u.orig.tar.gz diff --git a/gnu-efi/Pkgfile b/gnu-efi/Pkgfile new file mode 100644 index 000000000..cc11c3e8b --- /dev/null +++ b/gnu-efi/Pkgfile @@ -0,0 +1,15 @@ +# Description: GNU EFI library +# URL: http://gnu-efi.sf.net/ +# Maintainer: Thomas Penteker, tek at serverop dot de + +name=gnu-efi +version=3.0u.orig +release=1 +source=(http://download.sourceforge.net/${name}/${name}_${version}.tar.gz) + +build() { + cd $name-3.0 + sed -i "s|/usr/local|$PKG/usr|g" Make.defaults + make + make install +} |