Update Coq.gitignore

Coq now uses .mlg rather than .ml4 (since https://github.com/coq/coq/pull/8763), so we have to ignore its generated dependency files.  The `native_compute_profile_*.data` files are generated by `Set NativeCompute Profiling` (see https://github.com/coq/coq/pull/950).  Finally `.coq-native` is a directory that may be generated in any subdirectory, not only at top level, so we should not use absolute paths for it.

diff --git a/Coq.gitignore b/Coq.gitignore
index 829ac44a1c7b0888dfb9e9e9e32e5cf3f1400207..66596b22ed3ae5298158d3adb7e61755a861f74d 100644 (file)
--- a/Coq.gitignore
+++ b/Coq.gitignore
@@ -10,6 +10,7 @@
 *.glob
 *.ml.d
 *.ml4.d
+*.mlg.d
 *.mli.d
 *.mllib.d
 *.mlpack.d
@@ -20,7 +21,7 @@
 *.vo
 *.vok
 *.vos
-.coq-native/
+.coq-native
 .csdp.cache
 .lia.cache
 .nia.cache
@@ -31,6 +32,7 @@ lia.cache
 nia.cache
 nlia.cache
 nra.cache
+native_compute_profile_*.data
 
 # generated timing files
 *.timing.diff