1 files changed, 18 insertions, 0 deletions

diff --git a/z3/buildSrc/build.gradle.kts b/z3/buildSrc/build.gradle.kts
new file mode 100644
index 00000000..adc19562
--- /dev/null
+++ b/z3/buildSrc/build.gradle.kts
@@ -0,0 +1,18 @@
+/*
+ * SPDX-FileCopyrightText: 2023 The Refinery Authors <https://refinery.tools/>
+ *
+ * SPDX-License-Identifier: Apache-2.0
+ */
+
+plugins {
+        `kotlin-dsl`
+        alias(libs.plugins.versions)
+}
+
+repositories {
+        mavenCentral()
+}
+
+dependencies {
+        implementation(libs.asm)
+}