时间戳

首页 > 解决方案 > 如何使用 Gradle 中的多个分类器和扩展来使用给定的依赖项？

java - 如何使用 Gradle 中的多个分类器和扩展来使用给定的依赖项？

问题描述

我试图弄清楚如何使用https://repo1.maven.org/maven2/org/sosy-lab/javasmt-solver-z3/4.8.10/*.{so,jar}中列出的文件（另请参阅mvnrepository 上的相应条目。 com）作为示例（使用 Maven）here，使用 Gradle 6.8.3 和 Kotlin 配置。我的代码的相关部分是

repositories {
    jcenter()
    mavenCentral()
}

dependencies {
    implementation(group = "org.sosy-lab", name = "javasmt-solver-z3", version = "4.8.10", classifier = "com.microsoft.z3", ext = "jar")
    implementation(group = "org.sosy-lab", name = "javasmt-solver-z3", version = "4.8.10", classifier = "libz3", ext = "so")
    implementation(group = "org.sosy-lab", name = "javasmt-solver-z3", version = "4.8.10", classifier = "libz3java", ext = "so")
}

我得到的输出是

Could not resolve org.sosy-lab:javasmt-solver-z3:4.8.10.

我已经尝试过（1.）注释掉三个依赖项中的任何两个，（2.）重新排序存储库。输出是一样的。我在这里做错了什么？

标签： javagradlemaven-repository

解决方案

Gradle 默认搜索 pom.xml，但它失败了，因为一些 JavaSMT 工件没有任何（或没有有用的）。但是，您可以告诉 Gradle 直接搜索工件。为此，您需要将 metadataSource 添加到您的存储库中，如下所示：

repositories {
    jcenter()
    mavenCentral {
        metadataSources {
            artifact()
        }
    }
}

推荐阅读