使用Ant编译项目时出现[ivy:retrieve] SERVER ERROR: HTTPS Required url=http://repo1.maven.org/....问题解决
问题背景实验室要求复现一篇论文SAMC:Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems (osdi,2014),学长之前找到了作者的源码,但是没有实际运行过。我需要把源码在自己电脑上运行起来。这篇论文的源码中的一部分是对原有Zookeeper框架的修改。作者在原有框架的基础上加入了一些自己的逻辑代码。因此在使用时就需要对修改过的Zookeeper代码重新编译。作者使用的Zookeeper版本是
原创
2021-01-26 00:02:33 ·
1297 阅读 ·
1 评论