Mercurial > hg > Document > Growi
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 |