From 9fd17de740be749a5edb03eb7c9506747f0d5497 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Wed, 26 Apr 2023 23:03:27 +0200
Subject: [PATCH] Extract only TLC subdirectory of examples to save disk space
The full public_examples are over 1 GB after extraction, whereas the TLC
subdirectory is just 4 MB.
---
build.gradle | 1 +
1 file changed, 1 insertion(+)
diff --git a/build.gradle b/build.gradle
index d975517..1bb515f 100644
--- a/build.gradle
+++ b/build.gradle
@@ -95,6 +95,7 @@ task downloadPublicExamples(type: Download) {
task extractPublicExamples(dependsOn: downloadPublicExamples, type: Copy) {
from tarTree(resources.gzip("${buildDir}/ProB_public_examples.tgz"))
into "${buildDir}/prob_examples"
+ include "public_examples/TLC/**"
}
clean {
--
GitLab