Agda_debug
をテンプレートにして作成
[
トップ
] [
新規
|
一覧
|
単語検索
|
最終更新
|
ヘルプ
|
ログイン
]
開始行:
*Agda の Debug Build [#fa8c8fb1]
**インストール方法 [#m0792dcd]
- git からソースを clone
% git clone https://github.com/agda/agda.git
- brew であらかじめ "cabal-install" と "agda" を入れてお...
- clone してきた agda ディレクトリに Makefile があるので...
% make install-debug CABAL_OPTS='--extra-lib-dirs=/usr/l...
- 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/e...
(load-file (let ((coding-system-for-read 'utf-8))
(shell-command-to-string "~/src/publi...
(custom-set-variables
;; custom-set-variables was added by Custom.
;; If you edit it by hand, you could mess it up, so be...
;; 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...
;; 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 i...
doc に移動して
make html
終了行:
*Agda の Debug Build [#fa8c8fb1]
**インストール方法 [#m0792dcd]
- git からソースを clone
% git clone https://github.com/agda/agda.git
- brew であらかじめ "cabal-install" と "agda" を入れてお...
- clone してきた agda ディレクトリに Makefile があるので...
% make install-debug CABAL_OPTS='--extra-lib-dirs=/usr/l...
- 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/e...
(load-file (let ((coding-system-for-read 'utf-8))
(shell-command-to-string "~/src/publi...
(custom-set-variables
;; custom-set-variables was added by Custom.
;; If you edit it by hand, you could mess it up, so be...
;; 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...
;; 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 i...
doc に移動して
make html
ページ名: