From 0899260c83d012af0a50d4099abf039f53d61fbb Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Sun, 21 Sep 2014 10:57:04 +0200
Subject: Add .gitignore files.

---
 .gitignore                  | 40 ++++++++++++++++++++++++++++++++++++++++
 extraction/.gitignore       |  5 +++++
 test/.gitignore             |  8 ++++++++
 test/compression/.gitignore |  4 ++++
 test/raytracer/.gitignore   |  4 ++++
 test/spass/.gitignore       |  2 ++
 6 files changed, 63 insertions(+)
 create mode 100644 .gitignore
 create mode 100644 extraction/.gitignore
 create mode 100644 test/.gitignore
 create mode 100644 test/compression/.gitignore
 create mode 100644 test/raytracer/.gitignore
 create mode 100644 test/spass/.gitignore

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
-- 
cgit