--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Agda/debug_build.md	Wed Dec 16 14:05:01 2020 +0900
@@ -0,0 +1,57 @@
+# author("2019-03-14T07:10:48+00:00","game","game")
+# 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