From: cyrille-artho <cyrille-artho@users.noreply.github.com>
Date: Thu, 7 Jun 2018 07:07:50 +0000 (+0900)
Subject: Merge pull request #79 from jeandersonbc/issue78
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff_plain;h=267a253ff9f13c8e41071e70f2fc5a542a63ce09;hp=8c822ac7b303bd2915640ff4f5a133763ca8fbf2

Merge pull request #79 from jeandersonbc/issue78

Created buildinfo task (#78)
---

diff --git a/build.gradle b/build.gradle
index 3ab3ce0..1ee8699 100644
--- a/build.gradle
+++ b/build.gradle
@@ -60,6 +60,36 @@ task generateVersion {
     }
 }
 
+task buildInfo {
+    group = "JPF Build Properties"
+    description = "Creates build info properties."
+    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 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()
+
+        info.setProperty("revision", revision)
+        info.setProperty("date", date)
+        info.setProperty("author", userName)
+        info.setProperty("os.arch", System.getProperty("os.arch"))
+        info.setProperty("os.name", System.getProperty("os.name"))
+        info.setProperty("user.country", System.getProperty("user.country"))
+        info.setProperty("java.version", System.getProperty("java.version"))
+
+        def writer = new File("build.properties").newWriter("utf-8")
+        info.store(writer, "JPF core build info")
+        writer.close()
+    }
+}
+
 task compile(type: Copy) {
     group = "JPF Build"
     description = "Compiles all JPF core sources."