rune/gitignore
1
0
Fork 0
Code Pull Requests Activity

Update Coq.gitignore

Browse Source 
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.
This commit is contained in:
Jason Gross 2021-04-13 10:39:58 -04:00 committed by GitHub
parent 218a941be9
commit 68f4c9a5a9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Coq.gitignore
View File

@ -10,6 +10,7 @@
*.glob *.glob
*.ml.d *.ml.d
*.ml4.d *.ml4.d
*.mlg.d
*.mli.d *.mli.d
*.mllib.d *.mllib.d
*.mlpack.d *.mlpack.d
@ -20,7 +21,7 @@
*.vo *.vo
*.vok *.vok
*.vos *.vos
.coq-native/ .coq-native
.csdp.cache .csdp.cache
.lia.cache .lia.cache
.nia.cache .nia.cache
@ -31,6 +32,7 @@ lia.cache
nia.cache nia.cache
nlia.cache nlia.cache
nra.cache nra.cache
native_compute_profile_*.data
# generated timing files # generated timing files
*.timing.diff *.timing.diff