mill error about maven

[Liujiaqi-jlu]

Before start

• I have read the XiangShan Documents. 我已经阅读过香山文档。
• I have searched the previous issues and did not find anything relevant. 我已经搜索过之前的 issue，并没有找到相关的。
• I have searched the previous discussions and did not find anything relevant. 我已经搜索过之前的 discussions，并没有找到相关的。

Describe you problem

你好，我在编译的时候遇到mill无法访问maven仓库的问题，这应该是网络相关，如下图

所以我按照报错的提示手动下载了对应的pom，在命令行下是可以下载访问的，不知道为什么mill提示无法访问链接，并且我按照错误提示将pom下载到指定的位置

当我继续尝试编译的时候，它报错如下

之前认为是网络的问题，我把build.sc的代理换成了阿里云的镜像，但是也没有解决，想请问下，mill下载是会有单独的网络代理吗，在命令行下可以pom下载，但是mill却提示无法连接，还有上面的找不到模块定义应该如何解决，谢谢！

[TRANSLATION]

Hello, I encountered an issue during the compilation process where mill couldn't access the Maven repository, likely due to a network problem, as shown in the image below:

Following the error message, I manually downloaded the corresponding POM file. It can be accessed and downloaded from the command line, but for some reason, mill still reports that it cannot connect to the URL. I also placed the POM file in the specified location according to the error message:

However, when I continued trying to compile, it threw the following error:

I initially suspected it was a network issue, so I replaced the proxy in build.sc with Ali Cloud's Maven mirror, but that didn't solve the problem. I would like to ask:

1. Does mill have a separate network proxy configuration for downloads?
2. Why can I download the POM file manually from the command line, but mill still reports a connection failure?
3. How can I solve the "module not found" error mentioned above?

Thank you!

What did you do before

1

Environment

• XiangShan branch: 南湖v2.1
• XiangShan commit id:
• NEMU commit id:
• SPIKE commit id:
• Operating System:
• gcc version: 13.30
• mill version: 0.9.8
• java version: 11.0.25

Additional context

No response

[Tang-Haojin]

I know a software named proxychains and it sounds easy to use. Maybe you can have a try.