我已经克隆了存储库https://github.com/dominique-unruh/qrhl-tool 我正在尝试在此存储库上执行命令：

C:\Workspace-IntelliJ\qrhl-tool>sbt assembly -java-home "C:\Program Files\Java\jdk-11.0.8"

但是ir失败了，出现了关于交叉引用版本等的错误消息。这些错误消息在这里是不相关的，因为我的问题是-如何处理引用的项目？
我所说的引用项目是指具有两个特性的代码组织。第一个特点是这个概念的存在 .dependsOn(RootProject(file("scala-isabelle"))) 主项目的build.sbt中的代码（qrhl工具）：

lazy val root = (project in file("."))
  .dependsOn(RootProject(file("scala-isabelle")))
  .dependsOn(hashedcomputation)

第二个特性是如何 scala-isabelle 在github页面中显示https://github.com/dominique-unruh/qrhl-tool -你可以看到有图片'带箭头的文件夹'而不是通常的文件夹图片，然后有'@'符号和具体的释放代码，而不是文件夹名称。
所以-我的问题是-你怎么处理这些被引用的项目？当我克隆主项目时，没有scala isabelle目录，或者它是空的。我是否应该转到这个scala isabelle目录并用git克隆这个特定的其他项目/版本？在另一个github项目中有一个github项目可以吗？“带有箭头的文件夹”是否表明这样的git项目嵌套是有意的、正确的？
实际上，我有一个问题-如何工作/处理参考项目，但上面提出的多个子问题是我的主要问题的意思。