2 Summary: Native UDK implemenations of a UEFI Shell 2.0
8 #https://edk2.svn.sourceforge.net/svnroot/edk2/trunk/edk2/ShellBinPkg
9 Source0: ShellBinPkg-r%{svnrev}.tar.bz2
10 # Source0-md5: 00cdc30ad2e6267849be0a2b0c9901b2
11 Source1: shell_ia32.efi-boot-update
12 Source2: shell_x64.efi-boot-update
13 URL: http://sourceforge.net/apps/mediawiki/tianocore/index.php?title=ShellPkg
14 ExclusiveArch: %{ix86} %{x8664}
15 BuildRoot: %{tmpdir}/%{name}-%{version}-root-%(id -u -n)
17 %define _enable_debug_packages 0
20 Native UDK implemenations of a UEFI Shell 2.0.
23 Summary: Native UDK implemenations of a UEFI Shell 2.0
27 32-bit version of the native UDK implemenations of a UEFI Shell 2.0.
30 Summary: Native UDK implemenations of a UEFI Shell 2.0
34 64-bit version of the native UDK implemenations of a UEFI Shell 2.0.
37 %setup -qn ShellBinPkg
42 rm -rf $RPM_BUILD_ROOT
43 install -d $RPM_BUILD_ROOT{/lib/efi/{ia32,x64},/etc/efi-boot/update.d}
44 install UefiShell/Ia32/Shell.efi $RPM_BUILD_ROOT/lib/efi/ia32
45 install UefiShell/X64/Shell.efi $RPM_BUILD_ROOT/lib/efi/x64
46 install %{SOURCE1} $RPM_BUILD_ROOT/etc/efi-boot/update.d/shell_ia32.conf
47 install %{SOURCE2} $RPM_BUILD_ROOT/etc/efi-boot/update.d/shell_x64.conf
50 rm -rf $RPM_BUILD_ROOT
53 [ -x /sbin/efi-boot-update ] && /sbin/efi-boot-update --auto || :
56 [ -x /sbin/efi-boot-update ] && /sbin/efi-boot-update --auto || :
59 [ -x /sbin/efi-boot-update ] && /sbin/efi-boot-update --auto || :
62 [ -x /sbin/efi-boot-update ] && /sbin/efi-boot-update --auto || :
65 %defattr(644,root,root,755)
66 %doc License.txt ReadMe.txt Contributions.txt
68 /etc/efi-boot/update.d/shell_ia32.conf
71 %defattr(644,root,root,755)
72 %doc License.txt ReadMe.txt Contributions.txt
74 /etc/efi-boot/update.d/shell_x64.conf