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"
}
}
// 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"