攻击Agda的准备工作

黑客攻击准备（截至2022-11-07年）：

• 有一个与阴谋集团（可能还有堆栈）合作的GHC 9.x。所有这些都可以与ghcup一起安装。
• 克隆Agda存储库和子模块

  git克隆——递归子模块git@github.com：agda/agda.gitcd-agda

• 如果要使用堆栈，请选择GHC版本x.y.z，并将文件stack-x.y.z.yaml复制/重命名为stack.yaml。这会将下面的make命令（最后一个除外）的行为更改为使用堆栈。GHC 9.4.3似乎尚未得到堆栈的支持。
• 运行以下所有命令以（v1-cabal）构建和安装具有各种优化级别的Agda：

  制造安装销快速安装使快速安装成为可能制作排字

  这四个目标在$HOME/.cabal/config中给出的installdir中安装以下可执行文件，假设master是在Agda 2.6.4版本上。此外，如果您是第一次构建，这些是非旧笔记本电脑上的预期持续时间：
  • 30分钟：agda-2.6.4
  • 7分钟：快速agda
  • 5分钟：agda-更快
  • 1min:（type-check不生成可执行文件）
  后续的构建速度要快得多，这就是为什么我们要预先构建所有内容。
• 可选地，为例如emacs构建标记文件

  cd somewhere_else_outside_of_a_cabal项目电缆安装hs标签-w ghc-x.y.z##ghc-x.y.z应为已安装的ghc<9.2##或者，您可以使用堆栈安装hs-tags堆叠安装hs-标签##假设安装了hs-tags：cd-agda制作标签

• 安装固定白色表面

  cd somewhere_else_outside_of_a_cabal项目电缆安装固定白色空间##或堆栈安装固定白色空间## cd-agdafix-whitespace--检查

• 运行测试套件以查看所有设置是否正确。

  进行测试

更多有用信息，请访问：https://github.com/agda/agda/blob/master/HACKING.md