詳細可以看看這裡 http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.MacOSX
-
首先把 64bit 的 Haskell Platform 裝好 http://www.haskell.org/platform/
-
把這份 script 複製到
/usr/bin
並且執行它 http://www.haskell.org/platform/ghc-clang-wrapper -
接著把 Aquamacs 裝好 http://aquamacs.org/
-
在終端機中醫序輸入下列指令就完成啦
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
(東西爛掉請自行負責 :p)
- 把下列東西都先裝好
- 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/
- 接著把 Aquamacs 裝好 http://aquamacs.org/
- 在終端機中醫序輸入下列指令
cabal update
cabal sandbox init
cabal configure
cabal install --only-dependencies
cabal build
./dist/build/agda-mode/agda-mode setup