来自Agda Wiki

主要内容：非程序员从源安装Agda-Zlib

从获取zlibhttp://hackage.haskell.org/cgi-bin/hackage-scripts/package/zlib-0.4.0.2

下载源代码发行版，做焦油xvfz.然后按照阴谋集团的指示(http://www.haskell.org/haskellwiki/How_to_install_a_Cabal_package)，即。

runghc Setup.lhs配置runghc Setup.lhs内部版本runghc安装.lhs安装

构建时的问题

1. 有必要为Linux发行版（此处为Suse）安装zlib-devel包。

回到非程序员的Agda安装。