Agda 2.6.1 update

なんか再帰的定義の途中の置き換えを見てくれないので、少し困ってるんですが、もしかすると

　　update するとなおるかも?

前に報告したバグも「最新版で試せ、たこ」ってなことだったので、

　　pu ~/src/public/agda
　　make
　　cabal install --disable-documentation --builddir=./dist-2.6.1 --enable-tests --disable-library-profiling -fenable-cluster-counting　--force-reinstalls
　　pu ../agda-prelude
　　git pull
　　pu ../ataca
　　git pull
　　pu ~/src/public/agda-stdlib
　　cabal new-exec -- GenerateEverything
　　make
　　cabal new-install

問題は「どれがうまくいった原因か良くわからん」こと。

さらに、 ~/.emacs.d/init.el の
　　(load-file (let ((coding-system-for-read 'utf-8))
　　　　　　　　　　　　(shell-command-to-string "~/src/public/agda/dist-2.6.1/build/agda-mode/agda-mode locate")))
　　(add-hook 'agda2-mode-hook
　　　　　　　'(lambda ()
　　　　　　　　　(setq viper-mode t) (require 'viper) (viper-mode)
　　　　　　　)
　　)
　　(custom-set-variables
　　 '(agda2-program-name
　　　 "/Users/kono/src/public/agda/dist-2.6.1/build/Agda/agda"))

をなおす必要があるらしい。ここを変えないと古いのを見てしまう。

さらに vim では、 ~/.vim/filetypes.vim の

　　au BufNewFile,BufRead *.agda setf agda
　　let g:agda_extraincpaths = ["/Users/kono/src/public/agda-stdlib/src","/Users/kono/src/public/category-agda"]

ここらしい。

あと、もちろん、/usr/local/bin/agda を ~/src/public/agda/dist-2.6.1/build/Agda/agda にしないとだめ。

これを update のたびにやるかと思うと気が重いです。まぁ、そんなものなんだけど。