choosing vagrant provider depending on host (in gradle; not only in vagrantfile)

CHANGELOG.md

 Upcoming version:
 -----------------
+  - choosing vagrant provider depending on host (in gradle; not only in vagrantfile) (Nikolaus Krismer)
   - not validating vagrant installation in gradle anymore (Nikolaus Krismer)
   - removed provider definition from gradle (only needed within vagrant) (Nikolaus Krismer)
   - fixed syntax error in Vagrantfile (Nikolaus Krismer)

build.gradle

@@ -36,6 +36,25 @@ def getDate() {
 	return formattedDate
 }
 
+def getHostname() {
+    InetAddress result = null;
+    Enumeration<NetworkInterface> interfaces = NetworkInterface.getNetworkInterfaces();
+    while (interfaces.hasMoreElements()) {
+        Enumeration<InetAddress> addresses = interfaces.nextElement().getInetAddresses();
+        while (addresses.hasMoreElements()) {
+            InetAddress address = addresses.nextElement();
+            if (!address.isLoopbackAddress()) {
+                if (address.isSiteLocalAddress()) {
+                    return address.getHostName();
+                } else if (result == null) {
+                    result = address;
+                }
+            }
+        }
+    }
+    return (result != null ? result : InetAddress.getLocalHost()).getHostName();
+}
+
 // Repositories, Configurations, Dependencies and SourceSets setup
 
 repositories {
@@ -88,9 +107,8 @@ scmversion {
 }
 
 vagrant {
-    installation {
-        validate = false
-    }
+	def hostname = getHostname();
+	provider = (hostname.startsWith('ci') || hostname.startsWith('dbis-ci') || hostname.startsWith('isochrone') || hostname.startsWith('dbis-isochrone')) ? 'libvirt' : 'virtualbox';
 }
 
 vagrantDestroy.doFirst {