From af639e58c7f70dc98f07ae82076532d5076852e2 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 28 Nov 2012 16:45:04 +0100
Subject: [PATCH] more files to ignore

---
 .gitignore                        |  4 +++
 buddy/examples/bddcalc/.gitignore |  1 +
 lbtt/src/.gitignore               |  3 ++
 src/bin/.gitignore                |  4 ++-
 src/kripketest/.gitignore         |  1 +
 src/ltltest/.gitignore            |  4 +++
 src/sabatest/.gitignore           |  1 +
 src/tgbatest/.gitignore           | 49 ++++++++++++++++---------------
 tools/.gitignore                  |  2 ++
 9 files changed, 45 insertions(+), 24 deletions(-)

diff --git a/.gitignore b/.gitignore
index b168dd370..40d3d3d5a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -50,3 +50,7 @@ config.h.in
 src/src/misc/_config.h
 _configs.sed
 stamp-h1
+*.trs
+_*_
+spot-*/*
+config.cache
diff --git a/buddy/examples/bddcalc/.gitignore b/buddy/examples/bddcalc/.gitignore
index 51e0dbd79..080406dfc 100644
--- a/buddy/examples/bddcalc/.gitignore
+++ b/buddy/examples/bddcalc/.gitignore
@@ -2,6 +2,7 @@ Makefile.in
 Makefile
 lexer.cxx
 parser.cxx
+parser.c
 parser.h
 .deps
 .libs
diff --git a/lbtt/src/.gitignore b/lbtt/src/.gitignore
index 080093795..93b77ecb0 100644
--- a/lbtt/src/.gitignore
+++ b/lbtt/src/.gitignore
@@ -8,10 +8,13 @@ lbtt
 lbtt-translate
 Config-lex.cc
 Config-parse.cc
+Config-parse.c
 Config-parse.h
 Graph.h
 NeverClaim-lex.cc
 NeverClaim-parse.cc
+NeverClaim-parse.c
 NeverClaim-parse.h
 Ltl-parse.cc
+Ltl-parse.c
 Ltl-parse.h
diff --git a/src/bin/.gitignore b/src/bin/.gitignore
index 99818a84e..0bdbab80b 100644
--- a/src/bin/.gitignore
+++ b/src/bin/.gitignore
@@ -1,7 +1,9 @@
 ltlfilt
 ltl2tgba
+ltl2tgta
 randltl
 genltl
+ltlcross
 *.a
 *.1
-
+lck-*
diff --git a/src/kripketest/.gitignore b/src/kripketest/.gitignore
index 282522db0..bb3edc66b 100644
--- a/src/kripketest/.gitignore
+++ b/src/kripketest/.gitignore
@@ -1,2 +1,3 @@
 Makefile
 Makefile.in
+defs
diff --git a/src/ltltest/.gitignore b/src/ltltest/.gitignore
index afffa4ef8..436b60d5e 100644
--- a/src/ltltest/.gitignore
+++ b/src/ltltest/.gitignore
@@ -24,3 +24,7 @@ reductaustr
 genltl
 kind
 consterm
+apcollect
+length
+reduceu
+unabbrevwm
diff --git a/src/sabatest/.gitignore b/src/sabatest/.gitignore
index ef6565fb4..411970693 100644
--- a/src/sabatest/.gitignore
+++ b/src/sabatest/.gitignore
@@ -1 +1,2 @@
 defs
+sabacomplementtgba
diff --git a/src/tgbatest/.gitignore b/src/tgbatest/.gitignore
index d4ab805a5..dbf25e5d7 100644
--- a/src/tgbatest/.gitignore
+++ b/src/tgbatest/.gitignore
@@ -1,30 +1,33 @@
+bddprod
+blue_counter
+complement
+defs
 .deps
+*.dot
+eltl2tgba
+expldot
+explicit
+explicit2
+explprod
+input
+intvcomp
+intvcmp2
+.libs
+ltl2tgba
+ltlmagic
+ltlprod
 Makefile
 Makefile.in
-defs
-explicit
-.libs
-tgbaread
-readsave
-ltl2tgba
-ltlprod
-bddprod
-explprod
-*.ps
-*.dot
-tripprod
 mixprod
-spotlbtt
-ltlmagic
-expldot
-powerset
-reduccmp
-reductgba
-randtgba
-blue_counter
-input
 output1
 output2
-eltl2tgba
-intvcomp
+powerset
+*.ps
+randtgba
+readsave
+reduccmp
+reductgba
+spotlbtt
 taatgba
+tgbaread
+tripprod
diff --git a/tools/.gitignore b/tools/.gitignore
index 2376a8c62..6ac99f8f8 100644
--- a/tools/.gitignore
+++ b/tools/.gitignore
@@ -8,3 +8,5 @@ config.sub
 ltmain.sh
 compile
 ylwrap
+x-to-1
+test-driver