From eba6b7599bcad6c1da995f1d551b930727a9fc34 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Sun, 6 Apr 2014 10:51:59 +0200
Subject: Change handling of loadpath and mlpath.

- Option -I no longer handles loadpath, only mlpath. This is the same
  behavior as coq_makefile. Option -I-as is unchanged.
- Option -R no longer recursively adds to mlpath; only the root directory
  is added.
- user-contrib/ and xdg directories are no longer recursively added to
  the loadpath.
- theories/ and plugins/ are no longer recursively added to the loadpath
  when option -nois is passed.
- All the preconfigured directories are still recursively added to the
  mlpath though.
---
 lib/flags.ml  | 2 +-
 lib/flags.mli | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

(limited to 'lib')

diff --git a/lib/flags.ml b/lib/flags.ml
index 3118901ac5..9b932946ca 100644
--- a/lib/flags.ml
+++ b/lib/flags.ml
@@ -42,7 +42,7 @@ let with_extra_values o l f x =
     raise reraise
 
 let boot = ref false
-
+let load_init = ref true
 let batch_mode = ref false
 
 type compilation_mode = BuildVo | BuildVi | Vi2Vo
diff --git a/lib/flags.mli b/lib/flags.mli
index 6c6aa5fbeb..ebd11ee774 100644
--- a/lib/flags.mli
+++ b/lib/flags.mli
@@ -9,6 +9,7 @@
 (** Global options of the system. *)
 
 val boot : bool ref
+val load_init : bool ref
 
 val batch_mode : bool ref
 type compilation_mode = BuildVo | BuildVi | Vi2Vo
-- 
cgit v1.2.3