X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=blobdiff_plain;f=build.gradle;h=d105247dc45c3c9f873ae6c64755b118acf44523;hp=555abff2ca320a99b272cda8ad11ca98a027cd59;hb=3d099c6d7d6d4b8b90f07c5d047ee96704342af9;hpb=c5696ce03cc75f336df4da90e2624f8e0b87ef25

diff --git a/build.gradle b/build.gradle
index 555abff..d105247 100644
--- a/build.gradle
+++ b/build.gradle
@@ -1,6 +1,8 @@
 plugins {
-    id "com.gradle.build-scan"
+    id "com.gradle.build-scan" version "1.14"
     id "java"
+    id "jacoco"
+    id "eclipse"
 }
 
 sourceCompatibility = 1.8
@@ -10,7 +12,7 @@ ext.manifestCommonAttrbutes = manifest {
     attributes(
         "Built-By": System.getProperty("user.name"),
         "Implementation-Vendor": "NASA Ames Research Center",
-        "Implementation-Version": "1234" // FIXME
+        "Implementation-Version": "8.0"
     )
 }
 
@@ -19,6 +21,13 @@ buildScan {
     termsOfServiceAgree = 'yes'
 }
 
+jacocoTestReport {
+    reports {
+        xml.enabled = true
+        html.enabled = false
+    }
+}
+
 repositories {
     mavenCentral()
 }
@@ -76,13 +85,9 @@ task generateBuildInfo {
     description = "Generates the build.properties file."
     doLast {
 
-        // Must fail if there are uncommitted changes
-        def status  = "git status --short".execute().text.trim()
-        if (!status.isEmpty()) {
-            throw new GradleException("There are uncomitted changes:\n " + status)
-        }
         Properties info = new Properties()
 
+        def status  = "git status --short".execute().text.trim()
         def revision = "git rev-parse --short HEAD".execute().text.trim()
         def userName = ["git", "log", "-1", "--format=%an <%ae>"].execute().text.trim()
         def date = "git log -1 --format=%ci".execute().text.trim()
@@ -357,4 +362,22 @@ test {
     }
 }
 
+eclipse {
+    group = "JPF IDE Support"
+
+    project {
+        natures = ["org.eclipse.buildship.core.gradleprojectnature"]
+    }
+    classpath {
+        defaultOutputDir = buildDir
+        file {
+            whenMerged { classpath ->
+                classpath.entries.findAll{ entry -> entry.kind == "src" }*.every { srcNode ->
+                    srcNode.output = srcNode.output.replace("bin", "${buildDir.name}")
+                }
+            }
+        }
+    }
+}
+
 defaultTasks "buildJars"