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 {