ほとんど終わりました。ほとんどは、brew/brew cask で。
ちょっと、はまったのは、Agda のlibraryの設定。blog に書き忘れたんですが、Agda に自分のlibraryを付け加えるには、
* ~/.agda/libraries
/usr/local/Cellar/agda/2.5.2/lib/agda/standard-library.agda-lib
/Users/kono/src/public/category-agda/category-agda.agda-lib
* ~/.agda/defaults
standard-library
category-agda
というのを書く必要があるのでした。Emacs 側からできるのかも知れないけど、まぁ、いいや。
brew list
* agda cabal-install gdbm mercurial openssl python sqlite
* antiword emacs ghc nkf pkg-config readline
brew cask list
* emacs mactex pdftotext
ぐらいですね。
Papers3 も、~/Documents/Papers3 をcopyして、Paper.appをいれて、ライセンス指定して終わり。
mhは、どうも、nmh ではなく MH-JPを使っているっぽいな。なんだよ。
No comments:
Post a Comment