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