From 466e6a97c97e83679d49f0867d8f571402e1548f Mon Sep 17 00:00:00 2001
From: Matej Kosik <matej.kosik@inria.fr>
Date: Thu, 23 Mar 2017 14:42:24 +0100
Subject: extract "plugins/micromega/micromega.ml{,i}" files from
 "plugins/micromega/MExtraction.v"

---
 Makefile.build | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'Makefile.build')

diff --git a/Makefile.build b/Makefile.build
index 8aedd9cec..32322cb0d 100644
--- a/Makefile.build
+++ b/Makefile.build
@@ -635,6 +635,16 @@ endif
 	$(SHOW)'COQDEP    $<'
 	$(HIDE)$(COQDEPBOOT) -boot $(DEPNATDYN) "$<" $(TOTARGET)
 
+# Below we provide those dependecies that are not discovered {coq,ocaml}dep programs.
+
+plugins/micromega/micromega.cmi \
+plugins/micromega/micromega.cmo \
+plugins/micromega/micromega.cmx \
+$(patsubst %.ml,%.ml.d,$(wildcard plugins/micromega/*.ml)) \
+$(patsubst %.mli,%.mli.d,$(wildcard plugins/micromega/*.mli)) \
+plugins/micromega/micromega_plugin.mlpack.d \
+   : plugins/micromega/MExtraction.vo
+
 ###########################################################################
 
 # To speed-up things a bit, let's dissuade make to attempt rebuilding makefiles
-- 
cgit v1.2.3