diff options
Diffstat (limited to 'settings.gradle.kts')
-rw-r--r-- | settings.gradle.kts | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/settings.gradle.kts b/settings.gradle.kts new file mode 100644 index 00000000..cca283dc --- /dev/null +++ b/settings.gradle.kts | |||
@@ -0,0 +1,20 @@ | |||
1 | rootProject.name = "refinery" | ||
2 | |||
3 | include( | ||
4 | "frontend", | ||
5 | "language", | ||
6 | "language-ide", | ||
7 | "language-model", | ||
8 | "language-semantics", | ||
9 | "language-web", | ||
10 | "store", | ||
11 | "store-query", | ||
12 | "store-query-viatra", | ||
13 | "store-reasoning", | ||
14 | ) | ||
15 | |||
16 | for (project in rootProject.children) { | ||
17 | val projectName = project.name | ||
18 | project.name = "${rootProject.name}-$projectName" | ||
19 | project.projectDir = file("subprojects/$projectName") | ||
20 | } | ||