From f3525b1b788bf4891b5fa00ba906ba58932f71cc Mon Sep 17 00:00:00 2001 From: "Christopher L. Conway" Date: Tue, 30 Mar 2010 20:51:08 +0000 Subject: [PATCH] Removing unnecessary .gitignores --- .gitignore | 13 ++++++++----- contrib/.gitignore | 2 -- src/.gitignore | 2 -- src/context/.gitignore | 2 -- src/expr/.gitignore | 2 -- src/include/.gitignore | 2 +- src/main/.gitignore | 2 -- src/parser/.gitignore | 2 -- src/parser/cvc/.gitignore | 4 ---- src/parser/smt/.gitignore | 4 ---- src/prop/.gitignore | 2 -- src/prop/minisat/.gitignore | 2 -- src/smt/.gitignore | 2 -- src/theory/.gitignore | 2 -- src/theory/arith/.gitignore | 2 -- src/theory/arrays/.gitignore | 2 -- src/theory/booleans/.gitignore | 1 - src/theory/bv/.gitignore | 2 -- src/theory/uf/.gitignore | 2 -- src/util/.gitignore | 2 -- test/regress/.gitignore | 2 -- test/regress/regress0/.gitignore | 2 -- test/regress/regress0/precedence/.gitignore | 1 - test/regress/regress0/uf/.gitignore | 1 - test/regress/regress1/.gitignore | 2 -- test/regress/regress2/.gitignore | 2 -- test/regress/regress3/.gitignore | 2 -- test/system/.gitignore | 1 - test/unit/.gitignore | 6 ++++-- test/unit/expr/.gitignore | 4 ---- 30 files changed, 13 insertions(+), 64 deletions(-) delete mode 100644 contrib/.gitignore delete mode 100644 src/.gitignore delete mode 100644 src/context/.gitignore delete mode 100644 src/main/.gitignore delete mode 100644 src/parser/.gitignore delete mode 100644 src/parser/cvc/.gitignore delete mode 100644 src/parser/smt/.gitignore delete mode 100644 src/prop/.gitignore delete mode 100644 src/prop/minisat/.gitignore delete mode 100644 src/smt/.gitignore delete mode 100644 src/theory/arith/.gitignore delete mode 100644 src/theory/arrays/.gitignore delete mode 100644 src/theory/booleans/.gitignore delete mode 100644 src/theory/bv/.gitignore delete mode 100644 src/theory/uf/.gitignore delete mode 100644 src/util/.gitignore delete mode 100644 test/regress/.gitignore delete mode 100644 test/regress/regress0/.gitignore delete mode 100644 test/regress/regress0/precedence/.gitignore delete mode 100644 test/regress/regress0/uf/.gitignore delete mode 100644 test/regress/regress1/.gitignore delete mode 100644 test/regress/regress2/.gitignore delete mode 100644 test/regress/regress3/.gitignore delete mode 100644 test/system/.gitignore delete mode 100644 test/unit/expr/.gitignore 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 -- 2.30.2