From dfbeedf4b71f83d583cb988f83a3c836be985d9b Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Thu, 27 Apr 2023 22:32:07 +0200
Subject: [PATCH] Delete prob_examples before extracting
So that deleted files don't linger in the build directory.
---
build.gradle | 7 ++++++-
1 file changed, 6 insertions(+), 1 deletion(-)
diff --git a/build.gradle b/build.gradle
index 99a9b62..880c92d 100644
--- a/build.gradle
+++ b/build.gradle
@@ -77,8 +77,13 @@ task downloadPublicExamples(type: Download) {
}
task extractPublicExamples(dependsOn: downloadPublicExamples, type: Copy) {
+ final outDir = "${buildDir}/prob_examples"
+ doFirst {
+ delete(outDir)
+ }
+
from tarTree(resources.gzip("${buildDir}/ProB_public_examples.tgz"))
- into "${buildDir}/prob_examples"
+ into outDir
include "public_examples/TLC/**"
}
--
GitLab