comparison Agda/debug_build.md @ 0:e12992dca4a0

init from Growi
author anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
date Wed, 16 Dec 2020 14:05:01 +0900 (2020-12-16)
parents
children b6c284fd5ae4
comparison
equal deleted inserted replaced
-1:000000000000 0:e12992dca4a0
1 # author("2019-03-14T07:10:48+00:00","game","game")
2 # Agda の Debug Build
3
4 ## インストール方法
5
6 - git からソースを clone
7 - `% git clone https://github.com/agda/agda.git`
8
9 - brew であらかじめ `cabal-install` と `agda` を入れておいたほうがいい?(cabal に関しては source から build しないとだめかも?)
10
11 - clone してきた agda ディレクトリに Makefile があるので make
12
13 ```
14 % make install-debug CABAL_OPTS='--extra-lib-dirs=/usr/local/opt/icu4c/lib --extra-include-dirs=/usr/local/opt/icu4c/include'
15 ```
16
17 - stdlib もupdate する
18 - `% https://github.com/agda/agda-stdlib.git`
19
20 - experimental version を使う
21 - `% git checkout experimental`
22
23 - .emacs.d/init.el もupdate する
24
25 ```
26 (add-to-list 'load-path " /src/public/agda/src/data/emacs-mode")
27   (load-file (let ((coding-system-for-read 'utf-8))
28 (shell-command-to-string " /src/public/agda/dist-2.6.0-debug/build/agda-mode/agda-mode locate")))
29 ```
30
31 ```
32 (custom-set-variables
33 ;; custom-set-variables was added by Custom.
34 ;; If you edit it by hand, you could mess it up, so be careful.
35 ;; Your init file should contain only one such instance.
36 ;; If there is more than one, they won't work right.
37 '(agda2-program-name
38 " /src/public/agda/dist-2.6.0-debug/build/Agda/agda"))
39 (custom-set-faces
40 ;; custom-set-faces was added by Custom.
41 ;; If you edit it by hand, you could mess it up, so be careful.
42 ;; Your init file should contain only one such instance.
43 ;; If there is more than one, they won't work right.
44 )
45 ```
46
47
48 - おまけ
49
50 doc をmakeするには sphinx が必要。
51 - brew install sphinx-doc
52 - brew link sphinx-doc --force
53
54 さらに、
55 `/usr/local/Cellar/sphinx-doc/1.8.5/libexec/bin/pip3.7 install sphinx_rtd_theme
56 doc` に移動して
57 - make html