diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 15 |
1 files changed, 9 insertions, 6 deletions
@@ -4,7 +4,7 @@ # Upstream: Jan Alexander Steffens (heftig) <jan.steffens@gmail.com> pkgbase=linux-vfio -pkgver=5.6.15.arch1 +pkgver=5.7.2.arch1 pkgrel=1 pkgdesc='Linux' _srctag=v${pkgver%.*}-${pkgver##*.} @@ -12,7 +12,7 @@ url="https://git.archlinux.org/linux.git/log/?h=$_srctag" arch=(x86_64) license=(GPL2) makedepends=( - bc kmod libelf + bc kmod libelf pahole xmlto python-sphinx python-sphinx_rtd_theme graphviz imagemagick git ) @@ -31,9 +31,9 @@ validpgpkeys=( 'A2FF3A36AAA56654109064AB19802F8B0D70FC30' # Jan Alexander Steffens (heftig) ) sha256sums=('SKIP' - '2a157fdbf3a6396e985db9ae5d11870a786717dca31de78cad09c06eb28761ff' - '0352f4a52166bef96ac5b4ff1d2bcb61efd9580803af57ce0f3019565daa0bc2' - '094a29902b52cec2f0840219225a1458ca925f875524ecb7827da62a33c74ccf' + '623601ed9d7879dd9dba1cd50fc8051f9db508b49b4fc0c47c5a9eb9165fc04e' + '551d2ec326df256256a9e30d336a074493435fe0dbca77fd18216f9e91c0dd00' + 'ccb814e2c382a59b907ccb183836eda72f21214484e489b5f473beca97856704' '8cb21e0b3411327b627a9dd15b8eb773295a0d2782b1a41b2a8839d1b2f5778c') @@ -93,7 +93,7 @@ _package() { echo "$pkgbase" | install -Dm644 /dev/stdin "$modulesdir/pkgbase" echo "Installing modules..." - make INSTALL_MOD_PATH="$pkgdir/usr" modules_install + make INSTALL_MOD_PATH="$pkgdir/usr" INSTALL_MOD_STRIP=1 modules_install # remove build and source links rm "$modulesdir"/{source,build} @@ -170,6 +170,9 @@ _package-headers() { esac done < <(find "$builddir" -type f -perm -u+x ! -name vmlinux -print0) + echo "Stripping vmlinux..." + strip -v $STRIP_STATIC "$builddir/vmlinux" + echo "Adding symlink..." mkdir -p "$pkgdir/usr/src" ln -sr "$builddir" "$pkgdir/usr/src/$pkgbase" |