Fixed missing properties files on build cycle

diff --git a/build.gradle b/build.gradle
index 6beb9a1a425318874ecf7364a3ad975363317c04..0dc9c6986d150ab51fcb2e0cb94ec9072562d25f 100644 (file)
--- a/build.gradle
+++ b/build.gradle
@@ -87,6 +87,10 @@ task buildInfo {
         def writer = new File("build.properties").newWriter("utf-8")
         info.store(writer, "JPF core build info")
         writer.close()
         def writer = new File("build.properties").newWriter("utf-8")
         info.store(writer, "JPF core build info")
         writer.close()

+
+        // Copies generated build.properties file to the build directory
+        from "build.properties"
+        into sourceSets.main.java.outputDir.path + "/gov/nasa/jpf"

     }
 }
 
     }
 }
 


@@ -99,10 +103,6 @@ task compile(type: Copy) {
     // due to the compileClasspath attribute
     dependsOn compileTestJava, compileExamplesJava, generateVersion
 
     // due to the compileClasspath attribute
     dependsOn compileTestJava, compileExamplesJava, generateVersion
 

-    // Copies build.properties file to the build directory
-    from "build.properties"
-    into sourceSets.main.java.outputDir.path + "/gov/nasa/jpf"
-

     // Copies .version file to the build directory
     from ".version"
     into sourceSets.main.java.outputDir.path + "/gov/nasa/jpf"
     // Copies .version file to the build directory
     from ".version"
     into sourceSets.main.java.outputDir.path + "/gov/nasa/jpf"