#author(“2019-03-14T07:10:48+00:00”,“game”,“game”)

# Agda の Debug Build

# インストール方法

git からソースを clone

1

% git clone https://github.com/agda/agda.git

brew であらかじめ “cabal-install” と “agda” を入れておいたほうがいい？(cabal に関しては source から build しないとだめかも?)
clone してきた agda ディレクトリに Makefile があるので make

1

% make install-debug CABAL_OPTS='--extra-lib-dirs=/usr/local/opt/icu4c/lib --extra-include-dirs=/usr/local/opt/icu4c/include'

stdlib もupdate する

1

% https://github.com/agda/agda-stdlib.git

experimental version を使う

1

% git checkout experimental

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

1
2
3


   (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")))

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13


 (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 が必要。

1
2


brew install sphinx-doc
brew link sphinx-doc --force

さらに、

1

 /usr/local/Cellar/sphinx-doc/1.8.5/libexec/bin/pip3.7 install sphinx_rtd_theme

doc に移動して

1

 make html

Agda_debug

Agda_debug

# Agda の Debug Build

# インストール方法