diff options
| author | David Allsopp <david.allsopp@metastack.com> | 2022-06-07 11:36:12 +0100 |
|---|---|---|
| committer | David Allsopp <david.allsopp@metastack.com> | 2022-06-07 11:36:12 +0100 |
| commit | 944d960cf60c85d9eea09382cb33322cd1d88276 (patch) | |
| tree | 37115dfdcb62e2c9db90950f9c4b79f68637a86a /tools | |
| parent | bd06822cd22bda8c6e88b6097f5b9ca9f221e663 (diff) | |
| download | ocaml-944d960cf60c85d9eea09382cb33322cd1d88276.tar.gz | |
Add ?auto_include to Compmisc.init_path
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/.depend | 2 | ||||
| -rw-r--r-- | tools/caml_tex.ml | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/tools/.depend b/tools/.depend index 1bc67fe928..b1085dbde0 100644 --- a/tools/.depend +++ b/tools/.depend @@ -5,6 +5,7 @@ caml_tex.cmo : \ ../parsing/parse.cmi \ ../utils/misc.cmi \ ../parsing/location.cmi \ + ../utils/load_path.cmi \ ../parsing/lexer.cmi \ ../driver/compmisc.cmi \ ../driver/compenv.cmi \ @@ -18,6 +19,7 @@ caml_tex.cmx : \ ../parsing/parse.cmx \ ../utils/misc.cmx \ ../parsing/location.cmx \ + ../utils/load_path.cmx \ ../parsing/lexer.cmx \ ../driver/compmisc.cmx \ ../driver/compenv.cmx \ diff --git a/tools/caml_tex.ml b/tools/caml_tex.ml index 9b6f92dba8..6920229ad5 100644 --- a/tools/caml_tex.ml +++ b/tools/caml_tex.ml @@ -182,7 +182,7 @@ module Toplevel = struct Clflags.color := Some Misc.Color.Never; Clflags.no_std_include := true; Compenv.last_include_dirs := [Filename.concat !repo_root "stdlib"]; - Compmisc.init_path (); + Compmisc.init_path ~auto_include:Load_path.no_auto_include (); try Toploop.initialize_toplevel_env (); Sys.interactive := false |