diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2024-06-23 01:29:49 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2024-06-23 01:29:49 +0200 |
| commit | e4492df82fb7881f596aeb6c8dff2931f07cc360 (patch) | |
| tree | 4550751b75b1c8d6e000b7cb90a995f7bc48aa93 /z3/subprojects/solver-darwin-x86-64 | |
| parent | refactor(dse): expose state coder parameters (diff) | |
| download | refinery-e4492df82fb7881f596aeb6c8dff2931f07cc360.tar.gz refinery-e4492df82fb7881f596aeb6c8dff2931f07cc360.tar.zst refinery-e4492df82fb7881f596aeb6c8dff2931f07cc360.zip | |
build: add Maven metadata
Diffstat (limited to 'z3/subprojects/solver-darwin-x86-64')
| -rw-r--r-- | z3/subprojects/solver-darwin-x86-64/build.gradle.kts | 2 |
1 files changed, 2 insertions, 0 deletions
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 { | |||
| 11 | val classifier = "z3-${version}-x64-osx-10.16" | 11 | val classifier = "z3-${version}-x64-osx-10.16" |
| 12 | val library = "z3java-darwin-x86-64" | 12 | val library = "z3java-darwin-x86-64" |
| 13 | 13 | ||
| 14 | mavenArtifact.nameSuffix = "Darwin x86_64" | ||
| 15 | |||
| 14 | dependencies { | 16 | dependencies { |
| 15 | z3("Z3Prover:z3:${version}:${classifier}@zip") | 17 | z3("Z3Prover:z3:${version}:${classifier}@zip") |
| 16 | } | 18 | } |