Agent Skills: compile-compcert

Guide for building CompCert, the formally verified C compiler, from source. This skill should be used when compiling, building, or installing CompCert, or when working with Coq-based software that has strict dependency version requirements. Covers OCaml/opam setup, Coq version compatibility, memory management, and common build pitfalls.

UncategorizedID: benchflow-ai/skillsbench/compile-compcert

Author

benchflow-ai

https://github.com/benchflow-ai View all skills

Repository

benchflow-ai/skillsbench

benchflow-aiLicense: Apache-2.0

278174

Install this agent skill to your local

pnpm dlx add-skill https://github.com/benchflow-ai/skillsbench/compile-compcert

Skill Files

Browse the full folder contents for compile-compcert.

Download Skill

Loading file tree…

Select a file to preview its contents.