diff --git a/_oasis b/_oasis index 2d2eb7f..1daae04 100644 --- a/_oasis +++ b/_oasis @@ -18,12 +18,18 @@ Description: Universal toplevel for OCaml # | The toplevel | # +-------------------------------------------------------------------+ +Library utop + Path: src + Modules: UTop + InternalModules: UTop_private + XMETADescription: utop configuration + Executable utop Install: true Path: src CompiledObject: byte MainIs: uTop_console_top.ml - BuildDepends: findlib, lambda-term, lwt.syntax + BuildDepends: utop, findlib, lambda-term, lwt.syntax # +-------------------------------------------------------------------+ # | Misc | diff --git a/_tags b/_tags index 22bb72d..0bdc70c 100644 --- a/_tags +++ b/_tags @@ -2,6 +2,7 @@ <**/*.ml>: syntax_camlp4o, pkg_lwt.syntax : use_compiler_libs, pkg_lambda-term, pkg_findlib +<**/*.top>: use_utop # OASIS_START # OASIS_STOP diff --git a/src/uTop.ml b/src/uTop.ml index 11a8ccf..2dc1acb 100644 --- a/src/uTop.ml +++ b/src/uTop.ml @@ -42,4 +42,4 @@ let prompt_continue = ref (S.const [|(UChar.of_char '>', { none with foreground let () = (* Do not load packages linked with the toplevel. *) - Topfind.don't_load_deeply ["findlib"; "lambda-term"] + Topfind.don't_load_deeply ["utop"; "findlib"; "lambda-term"] diff --git a/src/uTop_console_top.mltop b/src/uTop_console_top.mltop index fc72883..20d7e64 100644 --- a/src/uTop_console_top.mltop +++ b/src/uTop_console_top.mltop @@ -1,3 +1 @@ -UTop -UTop_private UTop_console