Tue Aug 13 01:31:08 PDT 2013

4 files changed, 134 insertions, 0 deletions

diff --git a/community/virtualbox-modules/PKGBUILD b/community/virtualbox-modules/PKGBUILD
new file mode 100644
index 000000000..cc8295555
--- /dev/null
+++ b/community/virtualbox-modules/PKGBUILD
@@ -0,0 +1,65 @@
+# $Id: PKGBUILD 95204 2013-08-06 14:56:23Z tpowa $
+# Maintainer: Ionut Biru <ibiru@archlinux.org>
+# Maintainer: Sébastien Luttringer
+
+pkgbase=virtualbox-modules
+pkgname=('virtualbox-host-modules' 'virtualbox-guest-modules')
+pkgver=4.2.16
+pkgrel=5
+arch=('i686' 'x86_64')
+url='http://virtualbox.org'
+license=('GPL')
+makedepends=('linux>=3.10' 'linux<3.11'
+             'linux-headers>=3.10' 'linux-headers<3.11'
+             "virtualbox-host-dkms>=$pkgver"
+             "virtualbox-guest-dkms>=$pkgver"
+             'expac'
+             'sed'
+             'bc')
+
+# remember to also adjust the .install files and the package deps below
+_extramodules=extramodules-3.10-ARCH
+
+build() {
+  _kernver="$(cat /usr/lib/modules/$_extramodules/version)"
+  # dkms need modification to be run as user
+  cp -r /var/lib/dkms .
+  echo "dkms_tree='$srcdir/dkms'" > dkms.conf
+  # build host modules
+  msg2 'Host modules'
+  dkms --dkmsframework dkms.conf build "vboxhost/$pkgver" -k "$_kernver"
+  # build guest modules
+  msg2 'Guest modules'
+  dkms --dkmsframework dkms.conf build "vboxguest/$pkgver" -k "$_kernver"
+}
+
+package_virtualbox-host-modules(){
+  _kernver="$(cat /usr/lib/modules/$_extramodules/version)"
+  pkgdesc='Host kernel modules for VirtualBox'
+  depends=('linux>=3.10' 'linux<3.11')
+  replaces=('virtualbox-modules')
+  conflicts=('virtualbox-modules')
+  install=virtualbox-host-modules.install
+
+  cd "dkms/vboxhost/$pkgver/$_kernver/$CARCH/module"
+  install -dm755 "$pkgdir/usr/lib/modules/$_extramodules/"
+  install -m644 * "$pkgdir/usr/lib/modules/$_extramodules/"
+  find "$pkgdir" -name '*.ko' -exec gzip -9 {} +
+}
+
+package_virtualbox-guest-modules(){
+  _kernver="$(cat /usr/lib/modules/$_extramodules/version)"
+  pkgdesc='Guest kernel modules for VirtualBox'
+  license=('GPL')
+  depends=('linux>=3.10' 'linux<3.11')
+  replaces=('virtualbox-archlinux-modules')
+  conflicts=('virtualbox-archlinux-modules')
+  install=virtualbox-guest-modules.install
+
+  cd "dkms/vboxguest/$pkgver/$_kernver/$CARCH/module"
+  install -dm755 "$pkgdir/usr/lib/modules/$_extramodules/"
+  install -m644 * "$pkgdir/usr/lib/modules/$_extramodules/"
+  find "$pkgdir" -name '*.ko' -exec gzip -9 {} +
+}
+
+# vim:set ts=2 sw=2 et:
diff --git a/community/virtualbox-modules/build.sh b/community/virtualbox-modules/build.sh
new file mode 100755
index 000000000..744f18330
--- /dev/null
+++ b/community/virtualbox-modules/build.sh
@@ -0,0 +1,25 @@
+#!/bin/bash
+
+set -e
+
+if (( $# != 1 )); then
+  echo "usage: $0 extra"
+  echo "       $0 testing"
+  exit 1
+fi
+
+here=$PWD
+cd /var/empty
+linux32 makechrootpkg -cu -I "$here"/../../virtualbox/trunk/virtualbox-host-dkms-*-i686.pkg.tar.xz -r /var/lib/archbuild/$1-i686
+linux32 makechrootpkg -I "$here"/../../virtualbox/trunk/virtualbox-guest-dkms-*-i686.pkg.tar.xz  -r /var/lib/archbuild/$1-i686
+cd "$here"
+linux32 makechrootpkg -n -r /var/lib/archbuild/$1-i686
+
+cd /var/empty
+makechrootpkg -cu -I "$here"/../../virtualbox/trunk/virtualbox-host-dkms-*-x86_64.pkg.tar.xz -r /var/lib/archbuild/$1-x86_64
+makechrootpkg -I "$here"/../../virtualbox/trunk/virtualbox-guest-dkms-*-x86_64.pkg.tar.xz  -r /var/lib/archbuild/$1-x86_64
+cd "$here"
+makechrootpkg -n -r /var/lib/archbuild/$1-x86_64
+
+
+# vim:set ts=2 sw=2 ft=sh et:
diff --git a/community/virtualbox-modules/virtualbox-guest-modules.install b/community/virtualbox-modules/virtualbox-guest-modules.install
new file mode 100644
index 000000000..ed1762c21
--- /dev/null
+++ b/community/virtualbox-modules/virtualbox-guest-modules.install
@@ -0,0 +1,21 @@
+_depmod() {
+  EXTRAMODULES='extramodules-3.10-ARCH'
+  depmod $(cat /usr/lib/modules/$EXTRAMODULES/version)
+}
+
+post_install() {
+  cat << EOF
+===> You may want to load vboxguest, vboxsf and vboxvideo
+EOF
+  _depmod
+}
+
+post_upgrade() {
+  _depmod
+}
+
+post_remove() {
+  _depmod
+}
+
+# vim:set ts=2 sw=2 et:
diff --git a/community/virtualbox-modules/virtualbox-host-modules.install b/community/virtualbox-modules/virtualbox-host-modules.install
new file mode 100644
index 000000000..2f7f00d9e
--- /dev/null
+++ b/community/virtualbox-modules/virtualbox-host-modules.install
@@ -0,0 +1,23 @@
+_depmod() {
+  EXTRAMODULES='extramodules-3.10-ARCH'
+  depmod $(cat /usr/lib/modules/$EXTRAMODULES/version)
+}
+
+post_install() {
+  cat << EOF
+===> You must load vboxdrv module before starting VirtualBox:
+===> # modprobe vboxdrv
+EOF
+  _depmod
+}
+
+post_upgrade() {
+  _depmod
+  echo 'In order to use the new version, reload all virtualbox modules manually.'
+}
+
+post_remove() {
+  _depmod
+}
+
+# vim:set ts=2 sw=2 et: