Skip to content

Instantly share code, notes, and snippets.

@yoshihiro503

yoshihiro503/Coqのプロジェクトを新規作成する方法.md

Last active June 6, 2019 10:35
Show Gist options
  • Save yoshihiro503/dbecdd0ff626227cee699c3eb5dbcc55 to your computer and use it in GitHub Desktop.
Save yoshihiro503/dbecdd0ff626227cee699c3eb5dbcc55 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
Coqのプロジェクトを新規作成する方法.md

Coqのプロジェクトを新規作成する方法

https://github.com/yoshihiro503/coq_template を参考にプロジェクトディレクトリを作成する

Coqソースファイル

Coqのソースファイルは .v 拡張子で src/ ディレクトリに追加する。そして _CoqProject に追加したファイルを列挙する。 *.ml ファイルも同じで大丈夫。

ビルド方法

./configure.sh  # Makefileの自動作成
make            # ビルド

APIドキュメント生成

make html

html/ ディレクトリに生成される

CircleCIによる継続的ビルドとドキュメント自動デプロイを設定する

  1. githubでプロジェクトを作成し、ファイルをpushする
  2. CircleCIで上記のプロジェクトを登録する
  3. CircleCIでプロジェクトの設定から Checkout SSH keys の項目で SSHの鍵がpullする用のreadonlyの鍵があることを確認する
  4. Create and add yoshihiro503 user key をクリックし、read/writeできる鍵を作成・登録する
  5. githubの自分の鍵設定一覧に上記で作った鍵が登録されていることを確認する
  6. その鍵のFingerprintをコピーし、 .circleci/config.yml を編集する
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment