diff options
| author | Thomas Penteker <tek@serverop.de> | 2014-02-13 14:48:50 +0100 |
|---|---|---|
| committer | Thomas Penteker <tek@serverop.de> | 2014-02-13 14:48:50 +0100 |
| commit | bba5f43556a212780432648a8efdaccc1f50ef03 (patch) | |
| tree | 42d502b4df85600b73410ae93711afbea605fad9 /gnu-efi | |
| parent | fa2c11015b3e8f32b23a5f410e1b0c565bc4951f (diff) | |
| download | contrib-bba5f43556a212780432648a8efdaccc1f50ef03.tar.gz contrib-bba5f43556a212780432648a8efdaccc1f50ef03.tar.xz | |
export efitbootmgr and gnu-efi to opt
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, 0 insertions, 65 deletions
diff --git a/gnu-efi/.footprint b/gnu-efi/.footprint deleted file mode 100644 index d599d81e6..000000000 --- a/gnu-efi/.footprint +++ /dev/null @@ -1,49 +0,0 @@ -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 deleted file mode 100644 index 59e01e7b3..000000000 --- a/gnu-efi/.md5sum +++ /dev/null @@ -1 +0,0 @@ -d15d3c700e79a1e2938544d73edc572d gnu-efi_3.0u.orig.tar.gz diff --git a/gnu-efi/Pkgfile b/gnu-efi/Pkgfile deleted file mode 100644 index cc11c3e8b..000000000 --- a/gnu-efi/Pkgfile +++ /dev/null @@ -1,15 +0,0 @@ -# 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 -} |