# Copyright 1999-2017 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2

EAPI=6

KEYWORDS="amd64"

HOMEPAGE="https://dev.gentoo.org/~mpagano/genpatches"
DESCRIPTION="Gentoo CDN Kernel"
LICENSE="GPL-2"

SRC_URI="https://pkg.cyberleo.net/distfiles/linux-4.12.12-gentoo-cdn.txz"

SLOT="4.12.12"
IUSE="-firmware"
QA_PREBUILT="*"

DEPEND="=sys-kernel/gentoo-sources-4.12.12"

src_unpack() {
  default
  mv "${WORKDIR}/image" "${S}"
}

src_prepare() {
  default

  if ! use firmware; then
    rm -r "${S}/lib/firmware"
  fi

  xz -9e "${S}/lib/kernel/"{config,System.map}-*
}

src_install() {
  insinto /
  doins -r "${S}/lib"
}