1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
/*
* SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
*
* SPDX-License-Identifier: EPL-2.0
*/
rootProject.name = "refinery"
include(
"docs",
"frontend",
"generator",
"generator-cli",
"interpreter",
"interpreter-localsearch",
"interpreter-rete",
"interpreter-rete-recipes",
"language",
"language-ide",
"language-model",
"language-semantics",
"language-web",
"logic",
"store",
"store-dse",
"store-dse-visualization",
"store-query",
"store-query-interpreter",
"store-reasoning",
"store-reasoning-scope",
"store-reasoning-smt",
)
for (project in rootProject.children) {
val projectName = project.name
project.name = "${rootProject.name}-$projectName"
project.projectDir = file("subprojects/$projectName")
}
includeBuild("z3")
|
