From ef61f65ceec960ba59ce97e87797a45df06f2a30 Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Sat, 25 Sep 2021 19:32:39 +0200
Subject: [PATCH] Ensure MPS_HOME is deleted on clean

---
 build.gradle | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/build.gradle b/build.gradle
index 00b8d35e..4a0d89a3 100644
--- a/build.gradle
+++ b/build.gradle
@@ -100,6 +100,10 @@ task installMps(type: Copy)  {
   includeEmptyDirs = false
 }
 
+task deleteMps(type: Delete) {
+  delete 'MPS_HOME'
+}
+
 def allInitDependencies = [
   'installMps',
   'coderules:solutions:jetbrains.mps.logic.reactor:copyDependencies',
@@ -232,6 +236,9 @@ clean {
       ':samples:fitch:fitch-clean', ':samples:fitch:fitch-cleanSources'
     ]
   }
+  finalizedBy {
+     deleteMps
+  }
 }
 
 check {