#author("2019-12-15T10:35:03+00:00","game","game") * Agda Library の更新や追加 [#ib9d08d1] ** はじめに [#pd9ac22c] - brew install している場合は brew に追加されたときの最新版が入ってるはず(なので pull してレポジトリ更新すれば良いっぽい) - version の確認は head CHENGELOG.md; - 現行のAgda(v2.6.1_1) が Library を確認するときは ~/.agda/librarys と "~/.agda/defaults" 、 あとそれぞれのライブラリ内にある hoge.agda-lib のファイルを見るっぽい - librarys には std-lib などのライブラリのパスが、 defaults には hoge.agda-lib にかかれている name が列挙されてる - hoge.agda-lib にはライブラリの名前と読み込み先(大抵はそのライブラリの src)が書かれてる ** 更新 [#m61678ea] - ライブラリ(brew で入れたのであれば "/usr/local/Cellar/agda/branch名/lib/agda/") の下に .git があるのを確認してレポジトリの更新 ("$git pull" だと origin/master のものが反映されるのでdevが入りそう) git fetch; git checkout; git merge; - レポジトリを最新のCommitに戻したいときは git reset --hard で良さそう - 昔のバージョンや安定版に戻りたいときは git checkout refs/tags/v1.2; # e.g. v1.2. check "git tag". で戻れる ** 追加 [#q18fd57a] - 追加したいライブラリ tar で落として解凍、もしくは git clone などして Library を入手(std-libだと "https://github.com/agda/agda-stdlib") git clone https://github.com/agda/agda-stdlib; cd agda-stdlib; - "~/.agda/librarys" に 落としてきた library にある "hoge.agda-lib" のパスを追加 echo `pwd;ls *.agda-lib` >> ~/.agda/librarys; - "~/.agda/defaults" に library name を追加 head -1 *.agda-lib | sed 's/name: // >> ~/.agda/defaults';