From a5f8ceaa489ce133ba3831e1d62a06e86d101ef8 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Thu, 3 Mar 2016 18:38:21 +0000
Subject: [PATCH] Add globbing patterns to ``.gitignore`` so the files copied
 over by the ``contrib/cmake/bootstrap.py`` script are ignored and so don't
 get accidently commited.

---
 .gitignore | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/.gitignore b/.gitignore
index 58abdcf73..80a50ea9f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -75,3 +75,12 @@ src/api/ml/z3.mllib
 *.bak
 doc/api
 doc/code
+
+# CMake files copied over by the ``contrib/cmake/boostrap.py`` script
+# See #461
+examples/CMakeLists.txt
+examples/*/CMakeLists.txt
+src/CMakeLists.txt
+src/*/CMakeLists.txt
+src/*/*/CMakeLists.txt
+src/*/*/*/CMakeLists.txt