Windows安装程序说明

安装程序的已知问题

• 请检查安装程序备注.txt
• 使用20110609之前版本安装程序的用户将遇到以下问题Emacs定制（定制任何内容后，您的.Emacs将破碎）。要解决此问题，请编辑您的.emacs并删除这两个以“（agda2-ghci-options…”开头的行和“（agda2-include-dirs…”（在`custom-set-variables'），或者只需删除您的.emacs。然后使用20110610后安装程序重新安装（之前的卸载不需要必要时）。

如何完全移除Agda和Haskell

要在安装失败后重新安装，你需要移除Haskell和Agda。（版本号应为视情况更换。）

• 从控制面板卸载Agda-2.2.10和Haskell平台2011.2.0.1
• 删除文件夹：
  • 对于Windows 7 64位，

C： \程序文件（x86）\HaskellC： \程序文件（x86）\Haskell Platform\2011.2.0.1C： \Program Files（x86）\Agda，C： \用户\$USER$\AppData\Roaming\cabalC： \Users\$USER$\AppData\Roaming\ghc再加上也许C： \Users\$USER$\AppData\Local\VirtualStore\Program Files（x86）\HaskellC： \Users\$USER$\AppData\Local\VirtualStore\Program Files（x86）\Haskell Platform\2011.2.0.1C： \Users\$USER$\AppData\Local\VirtualStore\Program Files（x86）\Agda，

• 对于32位Windows XP，

C： \程序文件\HaskellC： \程序文件\Haskell平台\2011.2.0.1C： \程序文件\Agda，C： \文档和设置\$USER$\Application Data\cabalC： \文档和设置\$USER$\Application Data\ghc

• 从系统路径中删除对emacs和haskell的任何提及。
• 删除或重命名您的.emacs（如果有）。

共享软件字体

• 如果您看到无意义的方框，希望看到有意义的符号，可能是因为您的计算机使用的字体集不够大；安装并使用以下fontset恢复此问题：链接到Code2000，这是一个涵盖广泛unicode的共享软件，或免费许可的DejaVu字体系列.
• Agda使用unicode，因此允许您使用许多数学/逻辑符号。然而，并非每个字体集都涵盖了这些数学/逻辑符号，但Code2000字体集和DejaVu字体系列都涵盖了合理的子集。

旧版本2012年11月5日，由于主机搬迁，链路不再工作；如果他们这样做了，各种外部依赖性使他们无法正常工作。。。

• Agda-2.2.10-20110908-setup.exe（Agda-2.2.10和Haskell平台2011.2.0.1）
• Agda-setup-2.2.6.1版（Agda 2.2.6和GHC-6.10.4）
• Agda-setup-2.2.6-22.3.exe（Agda 2.2.6和GHC-6.10.4）
• Agda2-setup-20090709.exe（Agda 2.2.4和GHC-6.10.3）
• Agda2-setup-20090326.exe（2.2.0版后）
• Agda2-setup-20090310.exe（含ghc-6.10.1；agda2-update.cmd起作用（直到src再次更改break…）)
• Agda2-setup-20090109.exe（使用ghc-6.8.3+进程-1.0.1，无空间泄漏问题，无需MinGW+MSYS）agda2-update.cmd不适用于此版本。
• Agda2-setup-20081128.exe（使用ghc-6.8.3以获得更好的性能） 请改用Agda2-setup-20090109.exe。
• Agda2-设置20081118.exe（使用ghc-6.10.1和cabal-install+utf8-string供编译器使用，以及空间泄漏问题。）
• Agda2-setup-20081117.exe（带有ghc-6.10.1和cabal-install，并且存在空间泄漏问题）
• Agda2-设置20081116.exe（带有ghc-6.10.1和cabal-install，并且存在空间泄漏问题）
• Agda2-setup-20081107.exe （agda2-update.cmd再次工作。）
• Agda2-setup-20080905.exe
  • 将源代码库更改为code.haskell.org；更改字体以使CJK字符与其他字符对齐。
• Agda2-setup-20080825.exe，安装错误修复
• Agda2-setup-20080724.exe，现在使用Inno Setup脚本agda2-Setup.iss
• Agda2-setup-20080718.exe，现在使用标准库和命令行agda.cmd。
• Agda2-setup-20080716-2.exe，与20080716.exe相同，但这可能安装在64位计算机上。
• Agda2-setup-20080716.exe
• agda2安装-2008-02-21.zip

升级darcs:已废弃：已从安装程序中删除升级功能。

安装程序的某些旧版本不支持darcs 2。您可以通过使用新的安装程序重新安装Agda或按照以下说明进行操作来解决此问题。

1. 下载的新版本darcs公司并将其提取到agda2\bin。
2. 删除agda2\Agda、agda2\\lib

执行以下命令：

1. darcs得到--懒惰http://code.haskell.org/Agda
2. darcs得到--懒惰网址：http://www.cs.nott.ac.uk/~nad/reso/lib/

完成。您可以运行Agda2\Update进行更新。

废弃：Agda-2.2.10安装临时说明

（引用的版本号有点过时。较新的版本号应该可以工作……直到它们损坏为止。）

1. 从下载并安装Haskell Platform for Windowshttp://hackage.haskell.org/平台/
2. 从下载并安装GNU unifont统一网
   • 下载zip文件http://unifoundry.com/unifont-5.1.20080907.zip
   • 解压缩zip文件
   • 通过以下方式打开Font文件夹：开始->控制面板->（经典视图）->Font
   • 在Font文件夹：File->Install New Font，然后选择解压缩的文件。
3. 下载并安装Emacs-23（这是一个适合日本IME用户的示例；Windows上的其他Emacs-23可能可以工作）
   • 下载自解压缩exe文件emacs-23.2-20110219.exe文件来自http://gnupack.sourceforge.jp/docs/current/UsersGuide_download.html#_download_emacs.
   这是的一部分gnupack公司（日语）
   • 执行emacs-23.2-20110219.exe并将内容解压缩到某处。
     例如，选择“C:\MyPrograms”将创建一个新文件夹“C:\MyPrograms\eamcs-23.2-20110219”（避免路径中的CJK字符）
   • 修改Path环境变量以包含“C:\MyPrograms\emacs-23.2-20110219\bin”
4. 下载并安装电子邮件的Haskell-mode
   • 下载http://ftp.ucr.ac.cr/FreeBSD/ports/amd64/packages/elisp/haskell-mode-2.8.0.tbz
   • 将内容提取到某处。应该有一个子文件夹someware\haskell-mode-2.8.0\share\emacs\site-lisp\haskell-mode
   • 将子文件夹haskell-mode移动到文件夹C:\MyPrograms\emacs-23.2-20110219\site-lisp中