Ignore dynamically generated compat files

Fixes mit-plv/fiat#106
JasonGross · Mar 12, 2024 · 5876e80 · 5876e80
1 parent 7b54b75
commit 5876e80
Show file tree

Hide file tree

Showing 2 changed files with 28 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -9,3 +9,30 @@
 *.a
 
 *~
+
+compatibility/Coq__*__Compat.v
+!compatibility/Coq__master__Compat.v
+!compatibility/Coq__trunk__Compat.v
+!compatibility/Coq__8_4__Compat.v
+!compatibility/Coq__8_5__Compat.v
+!compatibility/Coq__8_5beta1__Compat.v
+!compatibility/Coq__8_5beta2__Compat.v
+!compatibility/Coq__8_5beta3__Compat.v
+!compatibility/Coq__8_5pl1__Compat.v
+!compatibility/Coq__8_5pl2__Compat.v
+!compatibility/Coq__8_5rc1__Compat.v
+!compatibility/Coq__8_6__Compat.v
+!compatibility/Coq__8_6beta1__Compat.v
+!compatibility/Coq__8_7__Compat.v
+!compatibility/Coq__8_8__Compat.v
+!compatibility/Coq__8_9__Compat.v
+!compatibility/Coq__8_10__Compat.v
+!compatibility/Coq__8_11__Compat.v
+!compatibility/Coq__8_12__Compat.v
+!compatibility/Coq__8_13__Compat.v
+!compatibility/Coq__8_14__Compat.v
+!compatibility/Coq__8_15__Compat.v
+!compatibility/Coq__8_16__Compat.v
+!compatibility/Coq__8_17__Compat.v
+!compatibility/Coq__8_18__Compat.v
+!compatibility/Coq__8_19__Compat.v
diff --git a/compatibility/bump-versions.sh b/compatibility/bump-versions.sh
@@ -9,4 +9,5 @@ NEXT_MINOR="$((${MINOR} + 1))"
 sed "s/${MAJOR}_${MINOR}/${MAJOR}_${MINOR} ${MAJOR}_${NEXT_MINOR}/g" -i generate-compat-files.sh
 cp "Coq__${MAJOR}_${MINOR}__Compat.v.in" "Coq__${MAJOR}_${NEXT_MINOR}__Compat.v.in"
 ./generate-compat-files.sh
+printf '!%s\n' "compatibility/Coq__${MAJOR}_${NEXT_MINOR}__Compat.v" >> ../.gitignore
 git add "Coq__${MAJOR}_${NEXT_MINOR}__Compat.v.in" "Coq__${MAJOR}_${NEXT_MINOR}__Compat.v"