buildserver: remove Kivy, unused since 2013 and out of date

This is the last thing using Chef, which adds a lot of time to the time it
takes to fully provision the buildserver.  This slows down development on
the things we are actually using, like running all builds on
jenkins.debian.net.

#210 #165

buildserver/Vagrantfile

@@ -23,8 +23,6 @@ Vagrant.configure("2") do |config|
 
   config.vm.boot_timeout = configfile['boot_timeout']
 
-  config.vm.provision :shell, :path => "fixpaths.sh"
-
   if configfile.has_key? "aptproxy"
     config.vm.provision :shell, path: "provision-apt-proxy",
       args: [configfile["aptproxy"]]
@@ -47,15 +45,6 @@ Vagrant.configure("2") do |config|
     args: ["/home/vagrant/android-sdk"]
   config.vm.provision "shell", path: "provision-apt-get-install",
     args: [configfile['debian_mirror']]
-
-  config.vm.provision :chef_solo do |chef|
-    chef.channel = "stable"
-    chef.version = "12.10.24"
-    chef.cookbooks_path = "cookbooks"
-    chef.log_level = :debug
-    chef.add_recipe "kivy"
-  end
-
   config.vm.provision "shell", path: "provision-android-sdk"
   config.vm.provision "shell", path: "provision-android-ndk",
     args: ["/home/vagrant/android-ndk"]

buildserver/cookbooks/kivy/recipes/default.rb

@@ -1,34 +0,0 @@
-
-%w{cython python-pygame python-pip python-virtualenv python-opengl python-gst0.10 python-enchant libgl1-mesa-dev libgles2-mesa-dev}.each do |pkg|
-  package pkg do
-    action :install
-  end
-end
-
-script "install-kivy" do
-  cwd "/tmp"
-  interpreter "bash"
-  code "
-    tar xf /vagrant/cache/Kivy-1.7.2.tar.gz
-    cd Kivy-1.7.2
-    python setup.py install
-    cd ..
-    rm -rf Kivy*
-  "
-  not_if "python -c 'import kivy'"
-end
-
-script "install-p4a" do
-  cwd "/home/vagrant"
-  interpreter "bash"
-  code "
-    git clone https://github.com/kivy/python-for-android
-    chown -R vagrant:vagrant python-for-android
-    cd python-for-android
-    git checkout ca369d774e2
-  "
-  not_if "test -d /home/vagrant/python-for-android"
-end
-
-
-

buildserver/fixpaths.sh

@@ -1,25 +0,0 @@
-#!/bin/sh
-
-echo $0
-
-fixit()
-{
-  #Fix sudoers so the PATH gets passed through, otherwise chef
-  #provisioning doesn't work.
-  if [ -z "$1" ]; then
-    export EDITOR=$0 && sudo -E visudo
-  else
-    echo "Fix sudoers"
-    echo "Defaults exempt_group=admin" >> $1
-  fi
-  #Stick the gems bin onto root's path as well.
-  sudo echo "PATH=$PATH:/var/lib/gems/1.8/bin" >>/root/.bashrc
-  # Restart sudo so it gets the changes straight away
-  sudo /etc/init.d/sudo restart
-}
-
-sudo grep "exempt_group" /etc/sudoers -q
-if [ "$?" -eq "1" ]; then
-  fixit
-fi
-