From 67eb9cabe53d13a7d17b27bd78e00f378104ae50 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kristof@marussy.com>
Date: Fri, 24 Nov 2023 20:10:24 +0100
Subject: build: package Z3 solver native libraries

---
 z3/settings.gradle.kts | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 z3/settings.gradle.kts

(limited to 'z3/settings.gradle.kts')

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 @@
+/*
+ * 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")
+}
-- 
cgit v1.2.3-54-g00ecf