2016/05/04

Agda 2.5.1 でライブラリのパスを設定する

Agda のバージョンを上げたらライブラリのパスの指定方法が変わったらしいので再設定したログ。


環境

  • 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 件のコメント:

コメントを投稿