1 # Maintainer: Ruan Wessels <ruan9422@gmail.com>
2 # Contributor: Benjamin Jorand <benjamin.jorand@gmail.com>
3 # Contributor: Jens Maucher <defcon@archlinux.us>
4 # Contributor: Emmanuel Gras <gras.emmanuel@gmail.com>
9 pkgdesc="Update the Linux kernel without rebooting"
10 arch=('i686' 'x86_64')
11 url="http://www.ksplice.com/"
13 source=(http://pkgs.fedoraproject.org/repo/pkgs/ksplice/ksplice-0.9.9-src.tar.gz/ceb4301c51d9b075731050b57d9ecd80/ksplice-0.9.9-src.tar.gz)
14 md5sums=('ceb4301c51d9b075731050b57d9ecd80')
17 cd $srcdir/$pkgname-$pkgver
19 ./configure --prefix=/usr \
20 --with-libbfd=/usr/lib/libbfd.a \
21 --with-libiberty=/usr/lib/libiberty.a \
22 --libexecdir=/usr/lib/ksplice
25 sed 's/^LIBS = .*$/& -ldl/' -i Makefile
30 cd $srcdir/$pkgname-$pkgver
31 make DESTDIR=$pkgdir install