X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=.gitignore;h=48eb6a877a78a590de7859413d39ac17d7889a51;hb=77d0bec48a745e3c4acd65085f9c59bdfceed6c0;hp=b3cce03ed95cb408252370ec0ea79c39803cbd28;hpb=5ceb5dc2f83d29b27afb578c64a20274fed13c86;p=cvc5.git

diff --git a/.gitignore b/.gitignore
index b3cce03ed..48eb6a877 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,33 +1,15 @@
-/autom4te.cache
 /stamp-h
-/config.h.in
-/config.log
-/config.status
-/config.cache
-/cvc4autoconfig.h.in
-/libtool
 /stamp-h1
 /cvc4-*.tar.gz
 /cvc4-*.tar.bz2
-/builds/
-/doc/
-.dep
-Makefile.in
-/configure
-/aclocal.m4
+/build/
+/doc/doxygen
 callgrind.out*
 gmon.out
 stamp-generated
 generated/
 *~
 \#*\#
-*.gcov
-/lcov/
-/config/compile
-.cvc4_config
-config.reconfig
 *.swp
 /debug/
-/personal.conf
-/personal.mk
-/antlr-3.4
+/deps/