mirror of
https://github.com/pentoo/pentoo-overlay
synced 2025-12-15 21:02:30 +01:00
f2fd0ad18f
if kernel sources are pulled in early (they are) then the desired kernel source should always be the default one. stop messing up builds by putting your preference over the livecd and binpkgs
27 lines
685 B
Bash
27 lines
685 B
Bash
# Copyright 1999-2022 Gentoo Authors
|
|
# Distributed under the terms of the GNU General Public License v2
|
|
|
|
EAPI=7
|
|
|
|
DESCRIPTION="Virtual for Linux kernel sources"
|
|
SLOT="0"
|
|
KEYWORDS="~alpha amd64 arm arm64 ~hppa ~ia64 ~mips ppc ppc64 ~s390 sparc x86"
|
|
IUSE="firmware"
|
|
|
|
RDEPEND="
|
|
firmware? ( sys-kernel/linux-firmware )
|
|
|| (
|
|
sys-kernel/pentoo-sources
|
|
sys-kernel/pentoo-lts-sources
|
|
sys-kernel/gentoo-sources
|
|
sys-kernel/vanilla-sources
|
|
sys-kernel/git-sources
|
|
sys-kernel/mips-sources
|
|
sys-kernel/pf-sources
|
|
sys-kernel/rt-sources
|
|
sys-kernel/zen-sources
|
|
sys-kernel/raspberrypi-sources
|
|
sys-kernel/gentoo-kernel
|
|
sys-kernel/gentoo-kernel-bin
|
|
sys-kernel/vanilla-kernel
|
|
)"
|