Removing unnecessary .gitignores

30 files changed, 13 insertions, 64 deletions

diff --git a/.gitignore b/.gitignore
index 65b1e44d2..bcf6af546 100644
--- a/.gitignore
+++ b/.gitignore
@@ -8,10 +8,13 @@
 /stamp-h1
 /cvc4-*.tar.gz
 /cvc4-*.tar.bz2
-/builds
-/doc
-/Makefile.in
+/builds/
+/doc/
+.dep
+Makefile.in
 /configure
 /aclocal.m4
-/callgrind.out*
-/gmon.out
+callgrind.out*
+gmon.out
+stamp-generated
+generated
diff --git a/contrib/.gitignore b/contrib/.gitignore
deleted file mode 100644
index 116a16b54..000000000
--- a/contrib/.gitignore
+++ /dev/null
@@ -1,2 +0,0 @@
-/
-/Makefile.in
diff --git a/src/.gitignore b/src/.gitignore
deleted file mode 100644
index f39e98071..000000000
--- a/src/.gitignore
+++ /dev/null
@@ -1,2 +0,0 @@
-/.deps
-/Makefile.in
diff --git a/src/context/.gitignore b/src/context/.gitignore
deleted file mode 100644
index f39e98071..000000000
--- a/src/context/.gitignore
+++ /dev/null
@@ -1,2 +0,0 @@
-/.deps
-/Makefile.in
diff --git a/src/expr/.gitignore b/src/expr/.gitignore
index 4618e07b0..6489199dc 100644
--- a/src/expr/.gitignore
+++ b/src/expr/.gitignore
@@ -1,4 +1,2 @@
-/.deps
-/Makefile.in
 /kind.h
 /metakind.h
diff --git a/src/include/.gitignore b/src/include/.gitignore
index b336cc7ce..274bc504a 100644
--- a/src/include/.gitignore
+++ b/src/include/.gitignore
@@ -1,2 +1,2 @@
 /Makefile
-/Makefile.in
+
diff --git a/src/main/.gitignore b/src/main/.gitignore
deleted file mode 100644
index f39e98071..000000000
--- a/src/main/.gitignore
+++ /dev/null
@@ -1,2 +0,0 @@
-/.deps
-/Makefile.in
diff --git a/src/parser/.gitignore b/src/parser/.gitignore
deleted file mode 100644
index f39e98071..000000000
--- a/src/parser/.gitignore
+++ /dev/null
@@ -1,2 +0,0 @@
-/.deps
-/Makefile.in
diff --git a/src/parser/cvc/.gitignore b/src/parser/cvc/.gitignore
deleted file mode 100644
index 7fd0cf319..000000000
--- a/src/parser/cvc/.gitignore
+++ /dev/null
@@ -1,4 +0,0 @@
-/.deps
-/stamp-generated
-/generated
-/Makefile.in
diff --git a/src/parser/smt/.gitignore b/src/parser/smt/.gitignore
deleted file mode 100644
index 7fd0cf319..000000000
--- a/src/parser/smt/.gitignore
+++ /dev/null
@@ -1,4 +0,0 @@
-/.deps
-/stamp-generated
-/generated
-/Makefile.in
diff --git a/src/prop/.gitignore b/src/prop/.gitignore
deleted file mode 100644
index f39e98071..000000000
--- a/src/prop/.gitignore
+++ /dev/null
@@ -1,2 +0,0 @@
-/.deps
-/Makefile.in
diff --git a/src/prop/minisat/.gitignore b/src/prop/minisat/.gitignore
deleted file mode 100644
index f39e98071..000000000
--- a/src/prop/minisat/.gitignore
+++ /dev/null
@@ -1,2 +0,0 @@
-/.deps
-/Makefile.in
diff --git a/src/smt/.gitignore b/src/smt/.gitignore
deleted file mode 100644
index f39e98071..000000000
--- a/src/smt/.gitignore
+++ /dev/null
@@ -1,2 +0,0 @@
-/.deps
-/Makefile.in
diff --git a/src/theory/.gitignore b/src/theory/.gitignore
index daddcd51e..4d15f70c0 100644
--- a/src/theory/.gitignore
+++ b/src/theory/.gitignore
@@ -1,3 +1 @@
-/.deps
-/Makefile.in
 /theoryof_table.h
diff --git a/src/theory/arith/.gitignore b/src/theory/arith/.gitignore
deleted file mode 100644
index 15fb9b26d..000000000
--- a/src/theory/arith/.gitignore
+++ /dev/null
@@ -1,2 +0,0 @@
-/Makefile.in
-/.deps
diff --git a/src/theory/arrays/.gitignore b/src/theory/arrays/.gitignore
deleted file mode 100644
index f39e98071..000000000
--- a/src/theory/arrays/.gitignore
+++ /dev/null
@@ -1,2 +0,0 @@
-/.deps
-/Makefile.in
diff --git a/src/theory/booleans/.gitignore b/src/theory/booleans/.gitignore
deleted file mode 100644
index 10a7e8d6c..000000000
--- a/src/theory/booleans/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-/Makefile.in
diff --git a/src/theory/bv/.gitignore b/src/theory/bv/.gitignore
deleted file mode 100644
index f39e98071..000000000
--- a/src/theory/bv/.gitignore
+++ /dev/null
@@ -1,2 +0,0 @@
-/.deps
-/Makefile.in
diff --git a/src/theory/uf/.gitignore b/src/theory/uf/.gitignore
deleted file mode 100644
index 15fb9b26d..000000000
--- a/src/theory/uf/.gitignore
+++ /dev/null
@@ -1,2 +0,0 @@
-/Makefile.in
-/.deps
diff --git a/src/util/.gitignore b/src/util/.gitignore
deleted file mode 100644
index f39e98071..000000000
--- a/src/util/.gitignore
+++ /dev/null
@@ -1,2 +0,0 @@
-/.deps
-/Makefile.in
diff --git a/test/regress/.gitignore b/test/regress/.gitignore
deleted file mode 100644
index f39e98071..000000000
--- a/test/regress/.gitignore
+++ /dev/null
@@ -1,2 +0,0 @@
-/.deps
-/Makefile.in
diff --git a/test/regress/regress0/.gitignore b/test/regress/regress0/.gitignore
deleted file mode 100644
index f39e98071..000000000
--- a/test/regress/regress0/.gitignore
+++ /dev/null
@@ -1,2 +0,0 @@
-/.deps
-/Makefile.in
diff --git a/test/regress/regress0/precedence/.gitignore b/test/regress/regress0/precedence/.gitignore
deleted file mode 100644
index 10a7e8d6c..000000000
--- a/test/regress/regress0/precedence/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-/Makefile.in
diff --git a/test/regress/regress0/uf/.gitignore b/test/regress/regress0/uf/.gitignore
deleted file mode 100644
index 10a7e8d6c..000000000
--- a/test/regress/regress0/uf/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-/Makefile.in
diff --git a/test/regress/regress1/.gitignore b/test/regress/regress1/.gitignore
deleted file mode 100644
index f39e98071..000000000
--- a/test/regress/regress1/.gitignore
+++ /dev/null
@@ -1,2 +0,0 @@
-/.deps
-/Makefile.in
diff --git a/test/regress/regress2/.gitignore b/test/regress/regress2/.gitignore
deleted file mode 100644
index f39e98071..000000000
--- a/test/regress/regress2/.gitignore
+++ /dev/null
@@ -1,2 +0,0 @@
-/.deps
-/Makefile.in
diff --git a/test/regress/regress3/.gitignore b/test/regress/regress3/.gitignore
deleted file mode 100644
index f39e98071..000000000
--- a/test/regress/regress3/.gitignore
+++ /dev/null
@@ -1,2 +0,0 @@
-/.deps
-/Makefile.in
diff --git a/test/system/.gitignore b/test/system/.gitignore
deleted file mode 100644
index 10a7e8d6c..000000000
--- a/test/system/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-/Makefile.in
diff --git a/test/unit/.gitignore b/test/unit/.gitignore
index f39e98071..77b1fc5e3 100644
--- a/test/unit/.gitignore
+++ b/test/unit/.gitignore
@@ -1,2 +1,4 @@
-/.deps
-/Makefile.in
+*_black
+*_white
+*_black.cpp
+*_white.cpp
diff --git a/test/unit/expr/.gitignore b/test/unit/expr/.gitignore
deleted file mode 100644
index 71ef9896d..000000000
--- a/test/unit/expr/.gitignore
+++ /dev/null
@@ -1,4 +0,0 @@
-/expr_black
-/expr_black.cpp
-/expr_white
-/expr_white.cpp