Add .gitignore file.

diff --git a/.gitignore b/.gitignore
new file mode 100644 (file)
index 0000000..ec8f467
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,25 @@
+*~
+*.cmi
+*.cmo
+*.cmx
+*.cma
+*.cmxa
+*.o
+*.a
+*.so
+*.opt
+
+/autom4te.cache
+/bitstring-objinfo
+/bitstring_config.ml
+/cil-tools/Makefile
+/config.h
+/config.h.in
+/config.log
+/config.status
+/configure
+/create_test_pattern
+/META
+/Makefile
+/tests/80_testdata/*.actual
+/tests/test.bmpp