From: Christopher L. Conway Date: Tue, 30 Mar 2010 20:51:08 +0000 (+0000) Subject: Removing unnecessary .gitignores X-Git-Tag: cvc5-1.0.0~9160 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f3525b1b788bf4891b5fa00ba906ba58932f71cc;p=cvc5.git Removing unnecessary .gitignores --- 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