From 051e84de20b74d7df17360cfb1049e87815dc61b Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Tue, 20 Nov 2012 08:40:05 -0800
Subject: [PATCH] Updated .gitignore

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 .gitignore | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/.gitignore b/.gitignore
index 3f5f51247..916a91f5d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,6 +1,11 @@
 *~
 *.pyc
 .z3-trace
+# OCaml generated files
+*.a
+*.cma
+*.cmi
+*.cmxa
 # Emacs temp files
 \#*\#
 # Directories with generated code and documentation
@@ -14,6 +19,14 @@ src/GRTAGS
 src/GSYMS
 src/GTAGS
 src/HTML/*
+# CSCOPE files
+src/cscope.in.out
+src/cscope.out
+src/cscope.po.out
+ncsope.out
+# CEDET files
+.cproject
+.project
 # Commonly used directories for code
 bld_dbg/*
 bld_rel/*