agda-os-x.md

Mac OS X 的 Agda 安裝指南

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

1. 首先先把 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
PATH=$HOME/Library/Haskell/ghc-7.6.3/lib/cabal-install-1.20.0.3/bin/cabal:$PATH # 方便之後呼叫新版的 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

why the f are you forking this XDD

I don't fuxxing know XD