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
---
 checker/esubst.ml  | 1 +
 checker/esubst.mli | 1 +
 checker/names.ml   | 1 +
 checker/names.mli  | 1 +
 4 files changed, 4 insertions(+)
 create mode 120000 checker/esubst.ml
 create mode 120000 checker/esubst.mli
 create mode 120000 checker/names.ml
 create mode 120000 checker/names.mli

(limited to 'checker')

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