From b240771a3661883ca0cc0497efee5b48519bddea Mon Sep 17 00:00:00 2001
From: Pierre Letouzey <pierre.letouzey@inria.fr>
Date: Wed, 14 Jun 2017 11:46:40 +0200
Subject: Makefile.build : cleanup now that micromega.ml isn't generated + sync
 check of this file

 There is now a warning if the content of micromega.ml isn't what MExtraction.v would
 produce.
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index db12a9de2..58e1d346c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -52,6 +52,7 @@ config/Info-*.plist
 dev/ocamldebug-coq
 dev/camlp4.dbg
 plugins/micromega/csdpcert
+plugins/micromega/.micromega.ml.generated
 kernel/byterun/dllcoqrun.so
 coqdoc.sty
 .csdp.cache
-- 
cgit v1.2.3