blob: 0e774b3725f2362fa52dd72b82547ba1bd137c0f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
|
%define svnrev 13902
Summary: Native UDK implemenations of a UEFI Shell 2.0
Name: efi-shell
Version: 2.0
Release: 0.%{svnrev}.1
License: BSD-like
Group: Applications
#https://edk2.svn.sourceforge.net/svnroot/edk2/trunk/edk2/ShellBinPkg
Source0: ShellBinPkg-r%{svnrev}.tar.bz2
# Source0-md5: 00cdc30ad2e6267849be0a2b0c9901b2
Source1: shell_ia32.efi-boot-update
Source2: shell_x64.efi-boot-update
URL: http://sourceforge.net/apps/mediawiki/tianocore/index.php?title=ShellPkg
ExclusiveArch: %{ix86} %{x8664}
BuildRoot: %{tmpdir}/%{name}-%{version}-root-%(id -u -n)
%define _enable_debug_packages 0
%description
Native UDK implemenations of a UEFI Shell 2.0.
%package ia32
Summary: Native UDK implemenations of a UEFI Shell 2.0
Group: Base
%description ia32
32-bit version of the native UDK implemenations of a UEFI Shell 2.0.
%package x64
Summary: Native UDK implemenations of a UEFI Shell 2.0
Group: Base
%description x64
64-bit version of the native UDK implemenations of a UEFI Shell 2.0.
%prep
%setup -qn ShellBinPkg
%build
%install
rm -rf $RPM_BUILD_ROOT
install -d $RPM_BUILD_ROOT{/lib/efi/{ia32,x64},/etc/efi-boot/update.d}
install UefiShell/Ia32/Shell.efi $RPM_BUILD_ROOT/lib/efi/ia32
install UefiShell/X64/Shell.efi $RPM_BUILD_ROOT/lib/efi/x64
install %{SOURCE1} $RPM_BUILD_ROOT/etc/efi-boot/update.d/shell_ia32.conf
install %{SOURCE2} $RPM_BUILD_ROOT/etc/efi-boot/update.d/shell_x64.conf
%clean
rm -rf $RPM_BUILD_ROOT
%post
[ -x /sbin/efi-boot-update ] && /sbin/efi-boot-update --auto || :
%postun
[ -x /sbin/efi-boot-update ] && /sbin/efi-boot-update --auto || :
%files ia32
%defattr(644,root,root,755)
%doc License.txt ReadMe.txt Contributions.txt
/lib/efi/ia32/*
/etc/efi-boot/update.d/shell_ia32.conf
%files x64
%defattr(644,root,root,755)
%doc License.txt ReadMe.txt Contributions.txt
/lib/efi/x64/*
/etc/efi-boot/update.d/shell_x64.conf
|