Agda version up on macOS

バグレポのために開発版使ってたりするんですが... このところ上げるのさぼってて。

一般人は、brew install agda で十分です。

　　　　https://github.com/UlfNorell/agda-prelude.git
　　　　https://github.com/agda/agda-stdlib.git
　　　　https://github.com/agda/agda.git

このあたりから取ってきます。Haskell 必須なので

　　　　brew upgrade ghc
　　　　brew install make

macOS の make は gmake だが古すぎる。

agda に移動して、 なんか cabal に変更があったらしく

　　　　cabal user-config update

これで install diretory を指定する必要があるらしい。 さらに、

　　　　 cabal install text-icu --extra-lib-dirs=/usr/local/opt/icu4c/lib --extra-include-dirs=/usr/local/opt/icu4c/include\n

が必要。おそらくは何かの指定漏れ。

　　　　 cabal clean && cabal build && cabal install --overwrite-policy=always

とかする必要がある。

　　　　 gmake install CABAL_OPTS='--extra-lib-dirs=/usr/local/opt/icu4c/lib --extra-include-dirs=/usr/local/opt/icu4c/include'

でできますが、MBP で50分。さらに、

　　　　gmake test

これをしないと fix-whitespace が入らない。しかも、それを

　　　　path=($HOME/.cabal/bin　$path)

と path に入れる必要があります。でないと、stdlib の gmake でこける。

　　　　cd ../agda-stdlib ; gmake

でできたがりですが、std-lib の gmake は要らないかも。あとは、.emacs.d/init.el とかを修正して終わり。

　　　　Relation.Binary.Definitions

の追加とか、

　　　　fromℕ≤ was deprecated in v1.2.　Please use fromℕ<

とか。特に、どこが良くなかったとかわからんな。

なんか、git pull で勝手に merge に入るのやめて欲しいです。