From cf646d855395a9d0c40613098debbbd895c4eef8 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Sat, 22 Nov 2014 14:21:19 +0100
Subject: Replace ocamlbuild by a second-stage makefile to compile the OCaml
 code and produce the executables. configure: add check for GNU make.

---
 .gitignore | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 242dbddb..eaa8caf3 100644
--- a/.gitignore
+++ b/.gitignore
@@ -19,10 +19,10 @@ cchecklink.byte
 clightgen
 clightgen.byte
 tools/ndfun
+tools/modorder
 Makefile.config
-# ocamlbuild's temp dir
-_build/
 # Generated files
+.depend.extr
 compcert.ini
 ia32/ConstpropOp.v
 ia32/SelectOp.v
@@ -32,6 +32,13 @@ arm/ConstpropOp.v
 arm/SelectOp.v
 backend/SelectDiv.v
 backend/SelectLong.v
+backend/CMlexer.ml
+backend/CMparser.ml
+backend/CMparser.mli
+cparser/Lexer.ml
+cparser/pre_parser.ml
+cparser/pre_parser.mli
+lib/Tokenize.ml
 # Documentation
 doc/coq2html
 doc/coq2html.ml
-- 
cgit