diff options
| author | Jason Gross <jasongross9@gmail.com> | 2021-04-13 10:39:58 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-13 10:39:58 -0400 |
| commit | 68f4c9a5a9710d0e7a669a760d15e76107e69acf (patch) | |
| tree | bede80d84a26a9619fdd871751c384bfc16e7247 | |
| parent | 218a941be92679ce67d0484547e3e142b2f5f6f0 (diff) | |
| download | gitignore-68f4c9a5a9710d0e7a669a760d15e76107e69acf.tar.gz gitignore-68f4c9a5a9710d0e7a669a760d15e76107e69acf.zip | |
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.
| -rw-r--r-- | Coq.gitignore | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Coq.gitignore b/Coq.gitignore index 829ac44a..66596b22 100644 --- 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 |