From e4492df82fb7881f596aeb6c8dff2931f07cc360 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Sun, 23 Jun 2024 01:29:49 +0200 Subject: build: add Maven metadata --- z3/subprojects/solver-darwin-x86-64/build.gradle.kts | 2 ++ 1 file changed, 2 insertions(+) (limited to 'z3/subprojects/solver-darwin-x86-64') diff --git a/z3/subprojects/solver-darwin-x86-64/build.gradle.kts b/z3/subprojects/solver-darwin-x86-64/build.gradle.kts index 75e59267..9e4a803d 100644 --- a/z3/subprojects/solver-darwin-x86-64/build.gradle.kts +++ b/z3/subprojects/solver-darwin-x86-64/build.gradle.kts @@ -11,6 +11,8 @@ plugins { val classifier = "z3-${version}-x64-osx-10.16" val library = "z3java-darwin-x86-64" +mavenArtifact.nameSuffix = "Darwin x86_64" + dependencies { z3("Z3Prover:z3:${version}:${classifier}@zip") } -- cgit v1.2.3-70-g09d2