Maven не находит локально установленный пакет

Question

Я пытаюсь использовать сторонний jar в моем проекте (в частности, Z3).Jar третьей части не построен с mvn, поэтому я добавляю его с помощью этой команды:

mvn install:install-file                        \                                                   
    -Dfile="$z3_build_dir"/com.microsoft.z3.jar \                                                   
    -DgroupId=com.microsoft                     \                                                   
    -DartifactId=z3                             \                                                   
    -Dversion=1.0.0                             \                                                   
    -Dpackaging=jar                             \                                                   
    -DgeneratePom=true                                                                              

Я добавил зависимость в файл pom моего проекта:

<dependency>
  <groupId>org.microsoft</groupId>
  <artifactId>z3</artifactId>
  <version>1.0.0</version>
</dependency>

Я вижу установленный файл здесь ~/.m2/repository/com/microsoft/z3/1.0.0/z3-1.0.0.pom.

Однако я вижу это предупреждение и ошибку:

Downloading from central: https://repo.maven.apache.org/maven2/org/microsoft/z3/1.0.0/z3-1.0.0.pom
Downloading from other-repo: https://other-repo/repository/internal/org/microsoft/z3/1.0.0/z3-1.0.0.pom
[WARNING] The POM for org.microsoft:z3:jar:1.0.0 is missing, no dependency information available
Downloading from central: https://repo.maven.apache.org/maven2/org/microsoft/z3/1.0.0/z3-1.0.0.jar
Downloading from other-repo: https://other-repo/repository/internal/org/microsoft/z3/1.0.0/z3-1.0.0.jar
...
[ERROR] Failed to execute goal on project java-backend: Could not resolve [redacted] Could not find artifact org.microsoft:z3:jar:1.0.0 in central (https://repo.maven.apache.org/maven2) -> [Help 1]

Документация Maven говорит, что мне не нужно ничего делать, чтобы найти локальноустановленные пакеты, поэтому я не понимаю, почему он ищет Central.

Answer 1

POM введен неверно.Должно быть (в зависимости от вашей команды установки)

<dependency>
  <groupId>com.microsoft</groupId>
  <artifactId>z3</artifactId>
  <version>1.0.0</version>
</dependency>

Answer 2

идентификатор группы должен совпадать.Измените

<groupId>org.microsoft</groupId>

на

<groupId>com.microsoft</groupId>

, как вы указали здесь:

mvn install:install-file                        \                                                   
    -Dfile="$z3_build_dir"/com.microsoft.z3.jar \                                                   
    -DgroupId=com.microsoft                     \                                                   
    -DartifactId=z3                             \                                                   
    -Dversion=1.0.0                             \                                                   
    -Dpackaging=jar                             \                                                   
    -DgeneratePom=true*