From 7d2ad6ac66abb97819ffbc5ad58c862a84e28775 Mon Sep 17 00:00:00 2001
From: Pierre Letouzey
Date: Tue, 31 May 2016 00:13:43 +0200
Subject: Checker: no more -I kernel via a few symlinks (for Names and Esubst)

 In particular, no more warning about ocamldep finding stuff both
 in checker/ and kernel/.

 A 'make clean' is mandatory after this commit
---
 Makefile.common    | 4 +---
 checker/esubst.ml  | 1 +
 checker/esubst.mli | 1 +
 checker/names.ml   | 1 +
 checker/names.mli  | 1 +
 5 files changed, 5 insertions(+), 3 deletions(-)
 create mode 120000 checker/esubst.ml
 create mode 120000 checker/esubst.mli
 create mode 120000 checker/names.ml
 create mode 120000 checker/names.mli

diff --git a/Makefile.common b/Makefile.common
index 3e2bfcb3aa..e7d0928765 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -78,9 +78,7 @@ SRCDIRS:=\
 
 IDESRCDIRS:= $(CORESRCDIRS) ide ide/utils
 
-# Order is relevant here because kernel and checker contain files
-# with the same name
-CHKSRCDIRS:= checker lib config kernel parsing
+CHKSRCDIRS:= config lib checker
 
 ###########################################################################
 # Tools
diff --git a/checker/esubst.ml b/checker/esubst.ml
new file mode 120000
index 0000000000..b82bd24f1e
--- /dev/null
+++ b/checker/esubst.ml
@@ -0,0 +1 @@
+../kernel/esubst.ml
\ No newline at end of file
diff --git a/checker/esubst.mli b/checker/esubst.mli
new file mode 120000
index 0000000000..e30eaae5d3
--- /dev/null
+++ b/checker/esubst.mli
@@ -0,0 +1 @@
+../kernel/esubst.mli
\ No newline at end of file
diff --git a/checker/names.ml b/checker/names.ml
new file mode 120000
index 0000000000..f0bf2f83f6
--- /dev/null
+++ b/checker/names.ml
@@ -0,0 +1 @@
+../kernel/names.ml
\ No newline at end of file
diff --git a/checker/names.mli b/checker/names.mli
new file mode 120000
index 0000000000..10459f3b29
--- /dev/null
+++ b/checker/names.mli
@@ -0,0 +1 @@
+../kernel/names.mli
\ No newline at end of file
-- 
cgit v1.2.3