summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorBjörn Bidar2015-06-13 18:48:00 +0200
committerBjörn Bidar2015-06-13 18:48:00 +0200
commit03edade98ca57591df5130e0055977e741d4d5b4 (patch)
treec3337a39964422d0eb90ed230fd71257423635fa
downloadaur-03edade98ca57591df5130e0055977e741d4d5b4.tar.gz
initial import
-rw-r--r--.SRCINFO17
-rw-r--r--PKGBUILD37
-rw-r--r--virtualbox-modules-pf.install20
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)
+}