diff options
author | Björn Bidar | 2015-06-13 18:48:00 +0200 |
---|---|---|
committer | Björn Bidar | 2015-06-13 18:48:00 +0200 |
commit | 03edade98ca57591df5130e0055977e741d4d5b4 (patch) | |
tree | c3337a39964422d0eb90ed230fd71257423635fa | |
download | aur-03edade98ca57591df5130e0055977e741d4d5b4.tar.gz |
initial import
-rw-r--r-- | .SRCINFO | 17 | ||||
-rw-r--r-- | PKGBUILD | 37 | ||||
-rw-r--r-- | virtualbox-modules-pf.install | 20 |
3 files changed, 74 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..64a7a16091a5 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,17 @@ +pkgbase = virtualbox-modules-pf + pkgdesc = Host linux-pf kernel modules for VirtualBox + pkgver = 4.3.28 + pkgrel = 1 + url = http://virtualbox.org + install = virtualbox-modules-pf.install + arch = i686 + arch = x86_64 + license = GPL + makedepends = linux-pf-headers + makedepends = virtualbox-host-dkms=4.3.28 + depends = linux-pf>=4.0 + depends = linux-pf<4.1 + provides = virtualbox-host-modules + +pkgname = virtualbox-modules-pf + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..2e9b42b2f90f --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,37 @@ +# Contributor: JokerBoy <jokerboy at punctweb dot ro> +# Contributor: Ionut Biru <ibiru@archlinux.org> +# Maintainer : Thaodan <theodostormgrade@gmail.com> + +_godver=4.0 +_badver=4.1 +pkgname=virtualbox-modules-pf +pkgver=4.3.28 +pkgrel=1 +pkgdesc='Host linux-pf kernel modules for VirtualBox' +arch=('i686' 'x86_64') +url='http://virtualbox.org' +license=('GPL') +depends=("linux-pf>=$_godver" "linux-pf<$_badver") +makedepends=('linux-pf-headers' + "virtualbox-host-dkms=$pkgver") +provides=('virtualbox-host-modules') +install=virtualbox-modules-pf.install + +_extramodules=extramodules-$_godver-pf +_kernver="$(cat /usr/lib/modules/${_extramodules}/version)" + +build() { + # dkms need modification to be run as user + cp -r /var/lib/dkms . + echo "dkms_tree='$srcdir/dkms'" > dkms.conf + # build host modules + dkms --dkmsframework dkms.conf build "vboxhost/$pkgver" -k "$_kernver" +} + +package(){ + install -dm755 "$pkgdir/usr/lib/modules/$_extramodules" + cd "dkms/vboxhost/$pkgver/$_kernver/$CARCH/module" + install -m644 * "$pkgdir/usr/lib/modules/$_extramodules" + find "$pkgdir" -name '*.ko' -exec gzip -9 {} + +} +md5sums=() diff --git a/virtualbox-modules-pf.install b/virtualbox-modules-pf.install new file mode 100644 index 000000000000..d17d5e3aa369 --- /dev/null +++ b/virtualbox-modules-pf.install @@ -0,0 +1,20 @@ +# -*- sh -*- +post_install() { +cat << EOF +===> You must load vboxdrv module before starting VirtualBox: +===> # modprobe vboxdrv +EOF + EXTRAMODULES='extramodules-4.0-pf' + depmod $(cat /usr/lib/modules/$EXTRAMODULES/version) +} + +post_upgrade() { + EXTRAMODULES='extramodules-4.0-pf' + depmod $(cat /usr/lib/modules/$EXTRAMODULES/version) + echo 'In order to use the new version, reload all virtualbox modules manually.' +} + +post_remove() { + EXTRAMODULES='extramodules-4.0-pf' + depmod $(cat /usr/lib/modules/$EXTRAMODULES/version) +} |