Java Maven找不到本地安装的包

我试图在我的项目中使用第三方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>

---

Maven文档说我不需要做任何额外的工作来查找本地安装的软件包，所以我不明白为什么它要搜索Central。

groupId必须匹配。改变

<groupId>org.microsoft</groupId>

---

groupId必须匹配。改变

<groupId>org.microsoft</groupId>

---

pom输入错误。它应该是（基于您的install命令）

com.microsoft
z3
1.0.0

pom条目错误。它应该是（基于您的install命令）

com.microsoft
z3
1.0.0

Ow。谢谢那个打字错误只花了我三个小时。谢谢那个打字错误只花了我3个小时

<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*   

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