.gitignore pour Coq
43 règles d’exclusion pour Coq, prêtes à copier dans votre dépôt.
Assistant de preuve formelle
Le .gitignore complet pour Coq
# Generated by LFGitignore - https://lfgitignore.com
# Created: 2026-08-05 01:31:33 UTC
# Technologies: Coq
### Coq ###
.*.aux
.*.d
# Static library
*.a
*.cma
*.cmi
*.cmo
*.cmx
*.cmxa
*.cmxs
*.glob
*.ml.d
*.ml4.d
*.mlg.d
*.mli.d
*.mllib.d
*.mlpack.d
*.native
# Object file
*.o
*.v.d
*.vio
*.vo
*.vok
*.vos
.coq-native
.csdp.cache
.lia.cache
.nia.cache
.nlia.cache
.nra.cache
csdp.cache
lia.cache
nia.cache
nlia.cache
nra.cache
native_compute_profile_*.data
*.timing.diff
*.v.after-timing
*.v.before-timing
*.v.timing
time-of-build-after.log
time-of-build-before.log
time-of-build-both.log
time-of-build-pretty.log
Ce que ces règles Coq ignorent vraiment
Chaque motif ci-dessous, et pourquoi il a sa place dans votre .gitignore.
General
| Motif | Ce qu’il ignore |
|---|---|
.*.aux |
General |
.*.d |
General |
*.a |
Static library |
*.cma |
General |
*.cmi |
General |
*.cmo |
General |
*.cmx |
General |
*.cmxa |
General |
*.cmxs |
General |
*.glob |
General |
*.ml.d |
General |
*.ml4.d |
General |
*.mlg.d |
General |
*.mli.d |
General |
*.mllib.d |
General |
*.mlpack.d |
General |
*.native |
General |
*.o |
Object file |
*.v.d |
General |
*.vio |
General |
*.vo |
General |
*.vok |
General |
*.vos |
General |
.coq-native |
General |
.csdp.cache |
General |
.lia.cache |
General |
.nia.cache |
General |
.nlia.cache |
General |
.nra.cache |
General |
csdp.cache |
General |
lia.cache |
General |
nia.cache |
General |
nlia.cache |
General |
nra.cache |
General |
native_compute_profile_*.data |
General |
*.timing.diff |
generated timing files |
*.v.after-timing |
General |
*.v.before-timing |
General |
*.v.timing |
General |
time-of-build-after.log |
General |
time-of-build-before.log |
General |
time-of-build-both.log |
General |
time-of-build-pretty.log |
General |
Comment utiliser ce .gitignore pour Coq
- Copiez les règles Coq ci-dessus, ou téléchargez directement le fichier.
- Créez un fichier nommé .gitignore à la racine de votre dépôt Git et collez-y les règles.
- Si certains de ces fichiers sont déjà suivis, lancez git rm -r --cached . puis recommitez — Git n’applique les règles d’exclusion qu’aux fichiers non suivis.
- Commitez le .gitignore pour que toute l’équipe partage les mêmes règles.