diff options
-rw-r--r-- | PKGBUILD | 15 |
1 files changed, 9 insertions, 6 deletions
@@ -18,7 +18,7 @@ pkgbase=linux-libre-hardened _majver=5.2 -_minver=17 +_minver=18 if [ "$_minver" == "0" ]; then _pkgver=${_majver} else @@ -26,7 +26,7 @@ _minver=17 fi _gnumajver=${_majver}-gnu _gnupkgver=${_pkgver}-gnu -_hardenedver=b +_hardenedver=a _gccpatchver='20190822' _srcname=linux-${_majver} pkgver=${_pkgver}.${_hardenedver} @@ -54,9 +54,9 @@ source=( ) sha256sums=('abbf0a5cacc1031e55f181f61b3c417bd3a37d0960f7596cbcae6ee1b96439e9' 'SKIP' - 'e920ff6680e0eeb418cc94b91c2f7cd34c210a2d84b5fbebe3b64f689c8e5f17' + 'c081eeb0a20cce80f88e4e222da9d50615fe479216b2c5f6dcafaed00d0d940d' 'SKIP' - '5e3161b5f2b4d5fce5bfada39da7c4b9b81d7b274a637a5b2a254b9ff7951696' + '90609ea1ea62c97cfe2fd16fa5bb6ce680c571cab90e001133487d539656980c' 'SKIP' 'c5405139aa0a90a6f68f6a13e066a2bd0600c970f9f525cd3aa114b044a7f73b' '8c11086809864b5cef7d079f930bd40da8d0869c091965fa62e95de9a0fe13b5' @@ -159,9 +159,9 @@ build() { _package() { pkgdesc="The ${pkgbase/linux/Linux} kernel and modules" - [[ ${pkgbase} = linux-libre ]] && groups=(base) - depends=(coreutils linux-libre-firmware kmod mkinitcpio) + depends=(coreutils kmod mkinitcpio) optdepends=('crda: to set the correct wireless channels of your country' + 'linux-libre-firmware: firmware images needed for some devices' 'usbctl: deny_new_usb control') backup=("etc/mkinitcpio.d/$pkgbase.preset") install=linux.install @@ -174,6 +174,9 @@ _package() { msg2 "Installing boot image..." install -Dm644 "$(make -s image_name)" "$pkgdir/boot/vmlinuz-$pkgbase" + # Used by mkinitcpio to name the kernel + echo "$pkgbase" | install -Dm644 /dev/stdin "$modulesdir/pkgbase" + msg2 "Installing modules..." mkdir -p "$modulesdir" make INSTALL_MOD_PATH="$pkgdir/usr" modules_install |