From 1532e4d57fce07e8a1cd6838853a4a31ea84e453 Mon Sep 17 00:00:00 2001
From: Pierre Letouzey <pierre.letouzey@inria.fr>
Date: Tue, 31 May 2016 23:20:21 +0200
Subject: Makefile: restore the use of coqdep_boot for creating .v.d files

 Coqdep_boot has almost no dependencies, and hence can be compiled
 very early during the build, without relying on .ml.d files.
 Some code of system.ml is now in a separate file minisys.ml,
 which is also included in system.ml for compatibility.
---
 checker/check.mllib | 1 +
 1 file changed, 1 insertion(+)

(limited to 'checker/check.mllib')

diff --git a/checker/check.mllib b/checker/check.mllib
index 900cfe0c8..49de5e87f 100644
--- a/checker/check.mllib
+++ b/checker/check.mllib
@@ -37,6 +37,7 @@ CEphemeron
 Future
 CUnix
 
+Minisys
 System
 Profile
 RemoteCounter
-- 
cgit v1.2.3