From: cyrille-artho <cyrille-artho@users.noreply.github.com>
Date: Tue, 29 May 2018 07:14:55 +0000 (+0900)
Subject: Merge pull request #65 from jeandersonbc/issue64
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff_plain;h=2c0edb0d396b699d187d929810015b904e91529d;hp=a2d099bfd92d46dadc8200829b5ea0989b777977

Merge pull request #65 from jeandersonbc/issue64

Copying build.properties to output dir
---

diff --git a/build.gradle b/build.gradle
index 2f9b7f3..8119f85 100644
--- 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"
 
@@ -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
+
+    // Copies build.properties file to the build directory
+    from "build.properties"
+    into sourceSets.main.java.outputDir.path + "/gov/nasa/jpf"
 }
 
 defaultTasks "compile"