環境
- Mac OSX Yosemite 10.10.5
- GHC 7.10.3
- cabal-install 1.22.9.0
- Agda 2.5.1
- agda-stdlib 0.12.0 (84ad2bf993e8256e8989f5466c0db0817473b2d6)
設定方法
前までは init.el 辺りで agda2-include-dirs に library の path を list で設定する方法だったのですが、 2.5.1 からは agda2-program-args に入れるか library mamangement を使えとのこと。
library management は特定のフォーマットでライブラリのパスや依存が書けるものらしいですが、使ってるライブラリもそんなに無いので agda2-program-args を指定する方法でやってみます。
-iDIR か -lLIB 辺りのフォーマットにして設定しろとのことです。
私は使うライブラリを ~/Library/Agda2 の下に symlink を貼る形にしてるので、 ~/Library/Agda2/* を展開してフルパスにして -i を付けて設定してます。
具体的にはこんな感じ。
(setq agda2-program-args (mapcar (lambda (path) (concat "-i" (expand-file-name path))) (file-expand-wildcards "~/library/Agda2/*")))ちなみに前まではこんな感じ。
(setq agda2-include-dirs (mapcar (lambda (path) (expand-file-name path)) (file-expand-wildcards "~/Library/Agda2/*")))
(add-to-list 'agda2-include-dirs ".")
設定したら無事動いてめでたしめでたし。
0 件のコメント:
コメントを投稿