update .gitignore

diff --git a/.gitignore b/.gitignore
index 1151f52..8dc933c 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,11 +1,48 @@
+# ignore objects and archives
+*.[oa]
+*.lo
+*.la
+
+.deps/
+.libs/
+Makefile
 Makefile.in
 aclocal.m4
-autom4te.cache
+autom4te.cache/
 config.guess
+config.h
 config.h.in
+config.log
+config.status
 config.sub
 configure
 depcomp
+doc/Makefile
+doc/Makefile.in
+gitversion.h
+include/isl_config.h
+include/isl_stdint.h
+include/stamp-h2
 install-sh
+isl-uninstalled.pc
+isl-uninstalled.sh
+isl.pc
+isl.pc.in
+isl_bound
+isl_cat
+isl_closure
+isl_pip
+isl_polyhedron_detect_equalities
+isl_polyhedron_minimize
+isl_polyhedron_sample
+isl_polytope_scan
+isl_test
+libtool
 ltmain.sh
+m4/libtool.m4
+m4/ltoptions.m4
+m4/ltsugar.m4
+m4/ltversion.m4
+m4/lt~obsolete.m4
 missing
+stamp-h1