sample-rocq-nix

Rocq プロジェクトを Nix と GitHub Actions でビルドする最小構成のサンプルです。

特徴:

• Rocq を opam でインストールしない
• GitHub Actions で Nix のバイナリキャッシュを利用
• rocq makefile -f _RocqProject で Makefile を生成
• 生成された Makefile を使ってビルド

ファイル構成

.
├── _RocqProject
├── theories/Main.v
├── flake.nix
├── .github/
│   └── workflows/
│       └── ci.yml
└── README.md

ローカルビルド

nix develop

rocq makefile -f _RocqProject -o Makefile
make