summaryrefslogtreecommitdiffstats
path: root/options/gitignore/Coq
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--options/gitignore/Coq45
1 files changed, 45 insertions, 0 deletions
diff --git a/options/gitignore/Coq b/options/gitignore/Coq
new file mode 100644
index 0000000..66596b2
--- /dev/null
+++ b/options/gitignore/Coq
@@ -0,0 +1,45 @@
+.*.aux
+.*.d
+*.a
+*.cma
+*.cmi
+*.cmo
+*.cmx
+*.cmxa
+*.cmxs
+*.glob
+*.ml.d
+*.ml4.d
+*.mlg.d
+*.mli.d
+*.mllib.d
+*.mlpack.d
+*.native
+*.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
+
+# generated timing files
+*.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