Copying build.properties to output dir (fixes #64)

[jpf-core.git] / build.gradle

diff --git a/build.gradle b/build.gradle
index 2f9b7f325b86f9ae9bf3aa8c06db7cbc96e13241..8119f8573b9a7f9ec0e2d0bda81c3604ba28e4d0 100644 (file)
--- a/build.gradle
+++ b/build.gradle
@@ -77,7 +77,7 @@ test {
     }
 }
 
     }
 }
 

-task compile {
+task compile(type: Copy) {

     group = "JPF Build"
     description = "Compile all JPF core sources"
 
     group = "JPF Build"
     description = "Compile all JPF core sources"
 


@@ -85,6 +85,10 @@ task compile {
     // Gradle is able to infer the ordering of the source source sets
     // due to the compileClasspath attribute
     dependsOn compileTestJava, compileExamplesJava
     // Gradle is able to infer the ordering of the source source sets
     // due to the compileClasspath attribute
     dependsOn compileTestJava, compileExamplesJava

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

 }
 
 defaultTasks "compile"
 }
 
 defaultTasks "compile"