6 files changed, 63 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 00000000..09f285fe
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,40 @@
+# Object files, in general
+*.vo
+*.glob
+*.o
+*.a
+*.cmi
+*.cmo
+*.cmx
+*.cma
+*.cmxa
+# Emacs saves
+*~
+# Executables and configuration
+ccomp
+ccomp.byte
+ccomp.prof
+cchecklink
+cchecklink.byte
+clightgen
+clightgen.byte
+tools/ndfun
+Makefile.config
+# ocamlbuild's temp dir
+_build/
+# Generated files
+driver/Configuration.ml
+ia32/ConstpropOp.v
+ia32/SelectOp.v
+powerpc/ConstpropOp.v
+powerpc/SelectOp.v
+arm/ConstpropOp.v
+arm/SelectOp.v
+backend/SelectDiv.v
+backend/SelectLong.v
+# Documentation
+doc/coq2html
+doc/coq2html.ml
+doc/html
+doc/html/
+
diff --git a/extraction/.gitignore b/extraction/.gitignore
new file mode 100644
index 00000000..92df2ef4
--- /dev/null
+++ b/extraction/.gitignore
@@ -0,0 +1,5 @@
+# Caml files generated by extraction
+*.mli
+*.ml
+# Extraction timestamp
+STAMP
diff --git a/test/.gitignore b/test/.gitignore
new file mode 100644
index 00000000..09144e68
--- /dev/null
+++ b/test/.gitignore
@@ -0,0 +1,8 @@
+# CompCert-generated files
+*.s
+*.sdump
+*.parsed.c
+*.compcert.c
+*.light.c
+*.compcert
+*.gcc
diff --git a/test/compression/.gitignore b/test/compression/.gitignore
new file mode 100644
index 00000000..81b71b7b
--- /dev/null
+++ b/test/compression/.gitignore
@@ -0,0 +1,4 @@
+# Executables
+arcode
+lzss
+lzw
diff --git a/test/raytracer/.gitignore b/test/raytracer/.gitignore
new file mode 100644
index 00000000..d5ce265a
--- /dev/null
+++ b/test/raytracer/.gitignore
@@ -0,0 +1,4 @@
+# Executable
+render
+# Test output
+kal.ppm
diff --git a/test/spass/.gitignore b/test/spass/.gitignore
new file mode 100644
index 00000000..64232e2b
--- /dev/null
+++ b/test/spass/.gitignore
@@ -0,0 +1,2 @@
+# Executable
+spass