Agda_debug のバックアップ差分(No.1)

バックアップ一覧
現在との差分を表示
ソースを表示
バックアップを表示
Agda_debug へ行く。
- 1 (2019-03-09 (土) 18:42:40)

追加された行はこの色です。
削除された行はこの色です。

#author("2019-03-09T09:42:40+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'

(fireflyでしか成功確認してない…)