efi/check-gnu-efi.sh

   1 #!/bin/sh
   2
   3 # Verify that gnu-efi is installed in the object directory for our
   4 # firmware. If it isn't, build it.
   5
   6 if [ $# -lt 3 ]; then
   7 cat <<EOF
   8 Usage: $0: <arch> <srcdir> <objdir>
   9
  10 Check for gnu-efi libraries and header files in <objdir> and, if none
  11 exist, build and install them.
  12
  13   <arch>   - A gnu-efi \$ARCH argument, i.e. ia32, x86_64
  14   <srcdir> - The top-level directory of the Syslinux source
  15   <objdir> - The Syslinux object directory
  16
  17 EOF
  18     exit 1
  19 fi
  20
  21 ARCH=$1
  22 srcdir=`realpath $2`
  23 objdir=`realpath $3`
  24
  25 if [ ! -f $objdir/include/efi/$ARCH/efibind.h ]; then
  26     # Build the external project with a clean make environment, as
  27     # Syslinux disables built-in implicit rules.
  28     export MAKEFLAGS=
  29
  30     build=$srcdir/efi/build-gnu-efi.sh
  31     $build $ARCH $srcdir $objdir &> /dev/null
  32     if [ $? -ne 0 ]; then
  33         printf "Failed to build gnu-efi. "
  34         printf "Execute the following command for full details: \n\n"
  35         printf "$build $ARCH $srcdir $objdir\n\n"
  36
  37         exit 1
  38     fi
  39 fi