# Agda の Debug Build

## インストール方法

- git からソースを clone
  - `% git clone https://github.com/agda/agda.git`

- brew であらかじめ `cabal-install` と `agda` を入れておいたほうがいい？(cabal に関しては source から build しないとだめかも?)

- clone してきた agda ディレクトリに Makefile があるので make
  - `% make install-debug CABAL_OPTS='--extra-lib-dirs=/usr/local/opt/icu4c/lib --extra-include-dirs=/usr/local/opt/icu4c/include'`

- stdlib もupdate する
  - `% https://github.com/agda/agda-stdlib.git`

- experimental version を使う
  - `% git checkout experimental`

- .emacs.d/init.el もupdate する

```
    (add-to-list 'load-path "  /src/public/agda/src/data/emacs-mode")
  　  (load-file (let ((coding-system-for-read 'utf-8))
                    (shell-command-to-string "  /src/public/agda/dist-2.6.0-debug/build/agda-mode/agda-mode locate")))
```                    

```
  (custom-set-variables
   ;; custom-set-variables was added by Custom.
   ;; If you edit it by hand, you could mess it up, so be careful.
   ;; Your init file should contain only one such instance.
   ;; If there is more than one, they won't work right.
   '(agda2-program-name
      "  /src/public/agda/dist-2.6.0-debug/build/Agda/agda"))
   (custom-set-faces
   ;; custom-set-faces was added by Custom.
   ;; If you edit it by hand, you could mess it up, so be careful.
   ;; Your init file should contain only one such instance.
   ;; If there is more than one, they won't work right.
   )
```


- おまけ

doc をmakeするには sphinx が必要。
- brew install sphinx-doc
- brew link sphinx-doc --force

さらに、
  `/usr/local/Cellar/sphinx-doc/1.8.5/libexec/bin/pip3.7 install sphinx_rtd_theme
doc` に移動して
- make html