sys-kernel/gentoo-cdn-kernel-bin/gentoo-cdn-kernel-bin-4.12.12.ebuild

   1 # Copyright 1999-2017 Gentoo Foundation
   2 # Distributed under the terms of the GNU General Public License v2
   3
   4 EAPI=6
   5
   6 KEYWORDS="amd64"
   7
   8 HOMEPAGE="https://dev.gentoo.org/~mpagano/genpatches"
   9 DESCRIPTION="Gentoo CDN Kernel"
  10 LICENSE="GPL-2"
  11
  12 SRC_URI="https://pkg.cyberleo.net/distfiles/linux-4.12.12-gentoo-cdn.txz"
  13
  14 SLOT="4.12.12"
  15 IUSE="-firmware"
  16 QA_PREBUILT="*"
  17
  18 DEPEND="=sys-kernel/gentoo-sources-4.12.12"
  19
  20 src_unpack() {
  21   default
  22   mv "${WORKDIR}/image" "${S}"
  23 }
  24
  25 src_prepare() {
  26   default
  27
  28   if ! use firmware; then
  29     rm -r "${S}/lib/firmware"
  30   fi
  31
  32   xz -9e "${S}/lib/kernel/"{config,System.map}-*
  33 }
  34
  35 src_install() {
  36   insinto /
  37   doins -r "${S}/lib"
  38 }