Removing unnecessary .gitignores

diff --git a/.gitignore b/.gitignore
index 65b1e44d2028dc1ad8e0e1b4210e142423159aff..bcf6af5467802a89ccdc1a1ece37bba8108736c5 100644 (file)
--- 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 (file)
index 116a16b..0000000
--- a/contrib/.gitignore
+++ /dev/null
@@ -1,2 +0,0 @@
-/
-/Makefile.in

diff --git a/src/.gitignore b/src/.gitignore
deleted file mode 100644 (file)
index f39e980..0000000
--- 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 (file)
index f39e980..0000000
--- a/src/context/.gitignore
+++ /dev/null
@@ -1,2 +0,0 @@
-/.deps
-/Makefile.in

diff --git a/src/expr/.gitignore b/src/expr/.gitignore
index 4618e07b0ef849e92d3d7420cf63061dfa69196b..6489199dc1f129e892691e98050d4f536dd9353c 100644 (file)
--- 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 b336cc7cec946a37f6a60672bb4dcaaa02d7ab55..274bc504a874a42f82e34a1c2cc543d0292ab807 100644 (file)
--- 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 (file)
index f39e980..0000000
--- 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 (file)
index f39e980..0000000
--- 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 (file)
index 7fd0cf3..0000000
--- 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 (file)
index 7fd0cf3..0000000
--- 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 (file)
index f39e980..0000000
--- 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 (file)
index f39e980..0000000
--- 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 (file)
index f39e980..0000000
--- a/src/smt/.gitignore
+++ /dev/null
@@ -1,2 +0,0 @@
-/.deps
-/Makefile.in

diff --git a/src/theory/.gitignore b/src/theory/.gitignore
index daddcd51e381822dfc6fd20f4bd1a23c39570a54..4d15f70c0a50a59b5f3d9b63e87cba55cf32671f 100644 (file)
--- 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 (file)
index 15fb9b2..0000000
--- 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 (file)
index f39e980..0000000
--- 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 (file)
index 10a7e8d..0000000
--- 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 (file)
index f39e980..0000000
--- 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 (file)
index 15fb9b2..0000000
--- 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 (file)
index f39e980..0000000
--- 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 (file)
index f39e980..0000000
--- 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 (file)
index f39e980..0000000
--- 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 (file)
index 10a7e8d..0000000
--- 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 (file)
index 10a7e8d..0000000
--- 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 (file)
index f39e980..0000000
--- 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 (file)
index f39e980..0000000
--- 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 (file)
index f39e980..0000000
--- 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 (file)
index 10a7e8d..0000000
--- a/test/system/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-/Makefile.in

diff --git a/test/unit/.gitignore b/test/unit/.gitignore
index f39e98071e15dcfd768ad4c9578b275d0b6fabd3..77b1fc5e3a54ce166296a0de6612caddfe6e7ccc 100644 (file)
--- 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 (file)
index 71ef989..0000000
--- a/test/unit/expr/.gitignore
+++ /dev/null
@@ -1,4 +0,0 @@
-/expr_black
-/expr_black.cpp
-/expr_white
-/expr_white.cpp