Agda Mac OS X 安裝指南

agda-os-x.md

Mac OS X 的 Agda 安裝指南

詳細可以看看這裡 http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.MacOSX

透過 Hackage 安裝（難度 ✮✮☆☆☆）

1. 首先把 64bit 的 Haskell Platform 裝好 http://www.haskell.org/platform/

2. 把這份 script 複製到 /usr/bin 並且執行它 http://www.haskell.org/platform/ghc-clang-wrapper

3. 接著把 Aquamacs 裝好 http://aquamacs.org/

4. 在終端機中醫序輸入下列指令就完成啦

cabal update # 更新 cabal 的套件資訊
cabal install cabal-install # 安裝新版的 cabal
ln -sf $HOME/Library/Haskell/ghc-7.6.3/lib/cabal-install-1.20.0.3/bin/cabal /usr/bin/cabal # 方便之後呼叫新版的 cabal
cabal update # 在更新一次 cabal 的套件資訊
cabal install Agda # 安裝 Agda !!
agda-mode setup # 把 agda 安上 emacs

如果想看起來牛逼點自己 build （難度 ✮✮✮✮✮）

（東西爛掉請自行負責 :p）

1. 把下列東西都先裝好

• GHC: http://www.haskell.org/ghc/
• cabal-install: http://www.haskell.org/cabal/
• Alex: http://www.haskell.org/alex/
• Happy: http://www.haskell.org/happy/

2. 接著把 Aquamacs 裝好 http://aquamacs.org/
3. 在終端機中醫序輸入下列指令

cabal update
cabal sandbox init
cabal configure
cabal install --only-dependencies
cabal build
./dist/build/agda-mode/agda-mode setup