install from Hackage, for a stable release:.To compile Agda, you will need Happy and Alex:.Installing Agda is much easier with Cabal. Install darcs, if you want to be in sync with the latest Agda source:.Add it to your PATH varible, for example, by adding a line export PATH=~/.cabal/bin:$PATH to your. Cabal installs its executables under ~/.cabal/bin.
GHC and the packages it depends on may take some time to compile.After installation, open Terminal and run sudo port -v selfupdate to keep the database up to date.profile and add /opt/local/bin to your PATH environment variable. The installation script takes care of modifying your. By default, MacPorts installs its files under the directory /opt/.You may simply download the binary distribution with a Mac-style installer. If you have not installed MacPorts yet, read the download and installation instructions.Note that if you install Cabal and darcs using MacPorts, you must have installed GHC using MacPorts as well. It is recommended (by some) to install these tools through MacPorts, a convenient package management system for open-source software on OS X.
If I am not mistaken, the hackage release of Agda works OK in a ghc 6.12.1 / emacs 22.3.1 environment. Then, if you like, install the latest GHC, such as.Then install cabal from hackage, using something like ,.Studiously ignore frippery like "haskell desktop" packages.