Update Gradle buildfile
@@ -85,7 +85,7 @@ dependencies {
implementation(group = "org.sosy-lab", name = "javasmt-solver-z3", version = "4.8.10", classifier = "libz3java", ext = "so")
*/
- // Tell compile config to use the JavaSMT from our dependencies folder
+ // Tell implementation config to use the JavaSMT + dependencies from our dependencies folder
implementation fileTree(dir: 'dependencies', include: '*.jar')
}
@@ -112,5 +112,9 @@ task cleanDownloadedDependencies(type: Delete) {
delete fileTree('dependencies')
}
-// Always copy the dependencies
-build.finalizedBy(copyDependencies)
+// Copy the JavaSMT depdendencies before using them in run and test
+test.dependsOn copyDependencies
+run.dependsOn copyDependencies
+
+// When clean is called we want to delete our copied JavaSMT files
+clean.dependsOn cleanDownloadedDependencies
