---
name: "coq_makefile"
section: "1"
platform: "linux"
package: "rocq"
version: "9.3.0-1"
release: "Arch Linux 2026-11-01"
platforms: ["linux"]
url: "https://new.carta.tech/coq_makefile"
---

# coq\_makefile(1)

generate makefiles for Coq proof development

## NAME

coq\_makefile - generate makefiles for Coq proof development

## SYNOPSIS

**coq\_makefile** \[ *arguments* \]

## DESCRIPTION

**coq\_makefile** is a makefile generator for Coq proof developments.

## OPTIONS

- **-h**

  Will give you a description of the whole list of options of **coq\_makefile**.

## SEE ALSO

[**coqtop**(1)](/coqtop/1.md), **coqtc**(1), [**coqdep**(1)](/coqdep/1.md)

*The Rocq Prover Reference Manual.*

The Rocq Prover website: https://rocq-prover.org