diff options
Diffstat (limited to 'settings.gradle.kts')
-rw-r--r-- | settings.gradle.kts | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/settings.gradle.kts b/settings.gradle.kts index 2b1c179d..cf31fc7e 100644 --- a/settings.gradle.kts +++ b/settings.gradle.kts | |||
@@ -17,6 +17,13 @@ include( | |||
17 | "store-query", | 17 | "store-query", |
18 | "store-query-viatra", | 18 | "store-query-viatra", |
19 | "store-reasoning", | 19 | "store-reasoning", |
20 | "viatra-runtime", | ||
21 | "viatra-runtime-base", | ||
22 | "viatra-runtime-base-itc", | ||
23 | "viatra-runtime-localsearch", | ||
24 | "viatra-runtime-matchers", | ||
25 | "viatra-runtime-rete", | ||
26 | "viatra-runtime-rete-recipes", | ||
20 | ) | 27 | ) |
21 | 28 | ||
22 | for (project in rootProject.children) { | 29 | for (project in rootProject.children) { |