Fix gradle build by moving dependencies project to its own dir

This commit is contained in:
Fedor Isakov 2026-04-24 12:35:17 +02:00
parent 14ab6e56d6
commit b8bb478422
2 changed files with 3 additions and 3 deletions

View File

@ -65,7 +65,7 @@ task installMps_macos(type: Copy) {
}
from zipTree(configurations.mps_macos_aarch64[0])
into 'MPS_HOME'
into '../MPS_HOME'
// Gradle woodoo for unzipping an archive
eachFile { FileCopyDetails fcp ->
@ -94,7 +94,7 @@ task installMps_linux(type: Copy) {
}
from tarTree(resources.gzip(configurations.mps_linux[0]))
into 'MPS_HOME'
into '../MPS_HOME'
// Gradle woodoo for unzipping an archive
eachFile { FileCopyDetails fcp ->

View File

@ -8,7 +8,7 @@ test:
./gradlew -x coderules-generate -x fitch-generate -x lambdac-generate -x mpscore-generate check
init:
./gradlew -b dependencies.gradle
./gradlew -p dependencies
mvn -Dmaven.javadoc.skip=true -B -f reactor install
./gradlew setup