2 files changed, 123 insertions, 0 deletions

diff --git a/z3/buildSrc/src/main/java/tools/refinery/z3/gradle/ClassFilePatcher.java b/z3/buildSrc/src/main/java/tools/refinery/z3/gradle/ClassFilePatcher.java
new file mode 100644
index 00000000..5ac56005
--- /dev/null
+++ b/z3/buildSrc/src/main/java/tools/refinery/z3/gradle/ClassFilePatcher.java
@@ -0,0 +1,48 @@
+/*
+ * SPDX-FileCopyrightText: 2023 The Refinery Authors <https://refinery.tools/>
+ *
+ * SPDX-License-Identifier: Apache-2.0
+ */
+package tools.refinery.z3.gradle;
+
+import org.objectweb.asm.*;
+
+import java.io.File;
+import java.io.FileInputStream;
+import java.io.FileOutputStream;
+import java.io.IOException;
+
+public final class ClassFilePatcher {
+        private ClassFilePatcher() {
+                throw new IllegalStateException("This is a static utility class and should not be instantiated directly");
+        }
+
+        public static void removeClassInitializer(File classFile) throws IOException {
+                byte[] resultBytes;
+                try (var fileReader = new FileInputStream(classFile)) {
+                        var classReader = new ClassReader(fileReader);
+                        var classWriter = new ClassWriter(classReader, 0);
+                        var classVisitor = new Visitor(classWriter);
+                        classReader.accept(classVisitor, 0);
+                        resultBytes = classWriter.toByteArray();
+                }
+                try (var fileWriter = new FileOutputStream(classFile)) {
+                        fileWriter.write(resultBytes);
+                }
+        }
+
+        private static class Visitor extends ClassVisitor {
+                protected Visitor(ClassVisitor classVisitor) {
+                        super(Opcodes.ASM9, classVisitor);
+                }
+
+                @Override
+                public MethodVisitor visitMethod(int access, String name, String descriptor, String signature,
+                                                                                 String[] exceptions) {
+                        if (name.equals("<clinit>")) {
+                                return null;
+                        }
+                        return super.visitMethod(access, name, descriptor, signature, exceptions);
+                }
+        }
+}
diff --git a/z3/buildSrc/src/main/kotlin/tools/refinery/z3/gradle/java-library.gradle.kts b/z3/buildSrc/src/main/kotlin/tools/refinery/z3/gradle/java-library.gradle.kts
new file mode 100644
index 00000000..75d64a6f
--- /dev/null
+++ b/z3/buildSrc/src/main/kotlin/tools/refinery/z3/gradle/java-library.gradle.kts
@@ -0,0 +1,75 @@
+/*
+ * SPDX-FileCopyrightText: 2023 The Refinery Authors <https://refinery.tools/>
+ *
+ * SPDX-License-Identifier: Apache-2.0
+ */
+package tools.refinery.z3.gradle
+
+plugins {
+        `java-library`
+        `maven-publish`
+}
+
+java {
+        toolchain {
+                languageVersion.set(JavaLanguageVersion.of(21))
+        }
+}
+
+repositories {
+        mavenCentral()
+
+        // Configuration based on https://stackoverflow.com/a/34327202 to pretend that GitHub is an Ivy repository
+        // in order to take advantage of Gradle dependency caching.
+        val github = ivy {
+                setUrl("https://github.com")
+                patternLayout {
+                        artifact("/[organisation]/[module]/releases/download/[module]-[revision]/[classifier].[ext]")
+                        artifact("/[organisation]/[module]/archive/refs/tags/[module]-[revision].[ext]")
+                }
+                metadataSources {
+                        artifact()
+                }
+        }
+
+        exclusiveContent {
+                forRepositories(github)
+                filter {
+                        includeGroup("Z3Prover")
+                }
+        }
+}
+
+val z3: Provider<Configuration> by configurations.registering {
+        isCanBeConsumed = false
+        isCanBeResolved = true
+}
+
+tasks {
+        jar {
+                manifest {
+                        attributes(
+                                        "Bundle-SymbolicName" to "${project.group}.${project.name}",
+                                        "Bundle-Version" to project.version
+                        )
+                }
+        }
+}
+
+publishing.publications {
+        register<MavenPublication>("mavenJava") {
+                from(components["java"])
+                pom {
+                        licenses {
+                                license {
+                                        name = "MIT License"
+                                        url = "https://raw.githubusercontent.com/Z3Prover/z3/master/LICENSE.txt"
+                                }
+                                license {
+                                        name = "The Apache License, Version 2.0"
+                                        url = "http://www.apache.org/licenses/LICENSE-2.0.txt"
+                                }
+                        }
+                }
+        }
+}