#author("2019-03-14T07:06:07+00:00","game","game") #author("2019-03-14T07:10:48+00:00","game","game") *Agda の Debug Build [#fa8c8fb1] **インストール方法 [#m0792dcd] - 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