diff options
Diffstat (limited to 'z3/settings.gradle.kts')
-rw-r--r-- | z3/settings.gradle.kts | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/z3/settings.gradle.kts b/z3/settings.gradle.kts new file mode 100644 index 00000000..a857f5ce --- /dev/null +++ b/z3/settings.gradle.kts | |||
@@ -0,0 +1,22 @@ | |||
1 | /* | ||
2 | * SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/> | ||
3 | * | ||
4 | * SPDX-License-Identifier: Apache-2.0 | ||
5 | */ | ||
6 | |||
7 | rootProject.name = "refinery-z3" | ||
8 | |||
9 | include( | ||
10 | "solver", | ||
11 | "solver-darwin-aarch64", | ||
12 | "solver-darwin-x86-64", | ||
13 | "solver-linux-aarch64", | ||
14 | "solver-linux-x86-64", | ||
15 | "solver-win32-x86-64", | ||
16 | ) | ||
17 | |||
18 | for (project in rootProject.children) { | ||
19 | val projectName = project.name | ||
20 | project.name = "${rootProject.name}-$projectName" | ||
21 | project.projectDir = file("subprojects/$projectName") | ||
22 | } | ||