abinfo "Building syslinux ..."
make bios efi32 efi64 installer

abinfo "Installing syslinux ..."
make install \
    INSTALLROOT=$PKGDIR \
    SBINDIR=/usr/bin \
    MANDIR=/usr/share/man \
    AUXDIR=/usr/lib/syslinux
