注:以下说明严重过时!(挖掘他们寻求暗示或远离他们!)
如果您对本说明有任何问题并找到解决方法,请更新以下说明。
这些是非官方的安装说明,基于Anton Setzer为缺乏Linux和Haskell经验的学生编写的一个版本。它们主要是用Linux编写的,但可能很容易适应其他操作系统。有关正式安装说明,请参阅Agda的官方安装说明。可以找到旧版本在这里,这可能会为您提供一些提示,帮助您解决安装Agda时出现的一些问题。
- 在接下来的安装过程中,您可能需要Linux或其他操作系统发行版中的一些附加软件包。
- 以前曾发生过以下情况:
- 如果收到错误消息
检查诅咒。h。。。不
然后你需要安装诅咒。小时
正在安装ncurses公司
和ncurses-devel公司
Suse在Ubuntu下工作libncurses5-dev公司
. - 如果您需要GLU C库,请从您的发行版安装包mesa-devel(对于我来说,mesa-devel-7.2.10.1工作)。
- 如果您遇到缺少curl.h头的问题,请安装libcurl.devel或curl库的任何其他devel版本。
- 主要安装如下:
- 作为根用户工作
- 安装GHC 6.10.3(您可以尝试使用更高版本的GHC)
- 如果您的发行版有一个针对GHC 6.10.3的软件包,请使用软件包管理器进行安装(这包括Fedora 11和OpenSUSE 11.1,但不包括Debian 5.0(“Lenny”)或Ubuntu 9.04(“Jaunty”))。否则:
- 从下载http://www.haskell.org/ghc/
- 使用解压缩
tar-xvjf<文件>.tar.bz2
- 转到创建的目录并按照README文件中的安装说明进行操作。
- 使用检查
ghc—版本
您拥有哪个版本的GHC。 - 如果此命令失败或未返回6.10.3,请确定ghc的安装位置(例如,使用ghc的README文件)。将目录添加到路径中(通过在~/.bashrc中添加行
export PATH=<newpath>:$PATH
<newpath>是ghc文件的路径(例如。/usr/local/bin/
)
runghc Setup.hs配置runghc Setup.hs内部版本runghc Setup.hs安装
- 如果在配置过程中发现另一个软件包丢失,也可以从Hackage下载,并按照上述步骤进行操作。
- 为了运行cabal安装工具,您需要从Hackage获取以下包:
- HTTP(4000.0.7)
- cabal(1.6.0.2)(注意,这并没有安装cabal命令。只有在安装下面的cabal-install工具时,才能获得cabal指令)。
- zlib(0.4.0.4)(您可能需要从通用软件管理系统中使用zlib-devel和gmp-devel才能安装它。)
- 您可以从包管理器获取这些信息。但只有当您也以这种方式安装GHC时,才能这样做,并确保它提供了正确的版本。使用“ghc-pkg field<package>version”进行检查。
- 现在从下载http://haskell.org/cabal/download.html电缆安装工具(0.6.2)。执行与之前相同的步骤(或将Setup.hs替换为Setup.lhs)
runghc Setup.hs配置runghc Setup.hs内部版本runghc Setup.hs安装
- 现在您可以使用cabal安装未来的软件包。
- 为了能够自动下载包,执行
阴谋集团更新
- 这将从黑客知识库更新数据库。现在,为了从Hackage安装软件包,您只需要运行
cabal安装-全局<软件包名称>
- (这将为您系统上的所有用户安装软件包),或者,对于本地安装,
电缆安装<软件包名称>
cabal安装--全局Agda-executableagda-模式设置
- 如果你对terminfo有问题,这可能是因为你需要诅咒。请参阅本说明开头的诅咒条目。
- 如果您有没有happy needed版本的问题,请尝试安装较新版本的ghc(7.0.3工作)
- 您可能需要从您的发行版GLUT-devel和OpenGL-devel中获取。
- 命令
agda-模式
安装程序将把.emacs模式安装到.emacs文件中,但可能只适用于您所在的用户。对于每个本地用户,您可以重复此命令
agda-模式设置
- 或将以下行添加到.emacs文件中:
(加载文件(let((读取'utf-8的编码系统))(外壳命令到字符串“agda-mode locate”))
- 最后,您需要为Emacs安装Haskell模式。如果无法使用包管理器安装此模式,您可能需要尝试以下说明:
(setq加载路径(cons“<path>”加载路径)其中,<path>被Haskell模式的路径替换(例如,如果将其移动到~/emacs/haskell-mode(电子邮件/哈斯克尔模式)
则<path>为~/emacs/haskell-mode(电子邮件/哈斯克尔模式)
)
- 你可能得跑了
M-x字节compile文件
如果您为了获得最新版本而编译过它,请在.emacs文件上添加。
- 现在加载一个Agda文件。
- 您可能想从下载标准库图书馆。标准库
- 您可能需要自定义Agda(例如设置加载路径)
- 在Agda缓冲区中使用emacs菜单时
选项->自定义Emacs->顶级自定义组->编程->语言->Agda2
- 特别要确保Agda2 Include Directories包含
.
以及您想要的任何库的路径(例如标准库)
- 有关更多信息,请访问主要。主页