这些是非官方的安装说明,基于Anton Setzer为缺乏Linux和Haskell经验的学生编写的一个版本。它们主要是在考虑Linux的情况下编写的,但可能很容易适应其他操作系统。有关正式安装说明,请参阅Agda的官方安装说明。
- 为了获得Agda的最新来源,最好获得darcs(darcs的简要说明).
- 在Linux下,以root身份执行以下操作,例如通过
ssh-X码root@localhost
- 创建目录
阿格达2
例如,在/usr/local/src
并移动到此目录 - 获取最新消息来源
darcs初始化darcs get—部分http://code.haskell.org/Agda
runghc Setup.hs清洁
- 这就完成了要作为根用户完成的部分。切换回普通用户(使用
出口
). - 然后安装Emacs模式(遵循Emacs约定
C-y公司
代表Control-C和M年
对于Alt-y或Escape-y):- 为当前安装创建目录
~/emacs/agdaByDate/2008/agdaDec2008/
(更换2008年12月
下一个月的当前月份) - 从获取haskell模式的最新版本http://haskell.org/haskell-mode/
- 将其移至
~/emacs/agdaByDate/2008/agdaDec2008/
并解开(使用tar xvfz哈斯克尔-型号.tar.gz
) - 将.el文件复制到
Agda/src/full/Agda/交互/emacs-mode/
到~/emacs/agdaByDate/2008/agdaDec2008/
- 创建文件
~/emacs/agdainstall.el
包含内容(~/emacs/agdainstall.el
指的是上面放置.el文件和Haskell模式的路径)。
<source lang=“lisp”>
(setq加载路径(cons“~/emacs/agdaByDate/2008/agdaDec2008/”加载路径)(加载“~/emacs/agdaByDate/2008/agdaDec2008/haskell-mode-2.4/haskell site-file”)(需要“agda2”)
</source>
- (可以在Agda2/README文件中自定义emacs模式)
- 评论中的所有内容
.emacs(电子邮件)
关于agda(放在它前面)以便清理我的安装。 - 然后将以下行添加到您的
.emacs(电子邮件)
文件
(加载“~/emacs/agdainstall”)
~/.emacs(电子邮件)
和中的所有文件
~/emacs/agdaByDate/2008/agdaDec2008/*.el~/emacs/agdaByDate/2008/agdaDec2008/*.el~/emacs/agdaByDate/2008/agdaDec2008/haskell-mode-2.4/*.el
为他们每个人做M-x字节compile文件
- 然后重新启动emacs,并打开扩展名为的文件
.agda(阿格达)
。
此文件应以agda模式启动。
- 注意Agda自动添加某些缩写。要关闭它们,请执行
M-x定制组
然后阿格达2
然后更改选项Agda2模式缩写使用默认值:
到不
。
安装标准库
- 按照中相同标题下的说明进行操作Mac OS的安装说明。
- 或执行以下操作
- 下载标准库通过darcs到达您喜欢的任何位置:
darcs get—部分网址:http://www.cs.nott.ac.uk/~nad/reso/lib/
- 在Agda模式下,进入模式自定义面板(
M-x自定义模式
). - 寻找选项Agda2包含目录。Ins公司输入存储标准库的路径。
- 点击为以后的会话保存。