blob: a857f5ce8e4621a87bd35e9b7e10fd57c882488c (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
/*
* SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
*
* SPDX-License-Identifier: Apache-2.0
*/
rootProject.name = "refinery-z3"
include(
"solver",
"solver-darwin-aarch64",
"solver-darwin-x86-64",
"solver-linux-aarch64",
"solver-linux-x86-64",
"solver-win32-x86-64",
)
for (project in rootProject.children) {
val projectName = project.name
project.name = "${rootProject.name}-$projectName"
project.projectDir = file("subprojects/$projectName")
}
|
