haskal
/
utop
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

make sure -short-paths is the default with ocaml >= 4.01.0

This commit is contained in:
Jeremie Dimino 2013-01-29 15:02:52 -05:00
parent b166bf9d17
commit 77e525d17a
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/lib/uTop_main.ml
View File

@ -835,7 +835,8 @@ let args = Arg.align [
"-nostdlib", Arg.Set Clflags.no_std_include, " Do not add default directory to the list of include directories";
"-principal", Arg.Set Clflags.principal, " Check principality of type inference";
#if ocaml_version >= (4, 01, 0)
"-short-paths", Arg.Clear Clflags.real_paths, " Shorten paths in types";
"-short-paths", Arg.Clear Clflags.real_paths, " Shorten paths in types (the default)";
"-no-short-paths", Arg.Set Clflags.real_paths, " Do not shorten paths in types";
#endif
"-rectypes", Arg.Set Clflags.recursive_types, " Allow arbitrary recursive types";
"-stdin", Arg.Unit read_script_from_stdin, " Read script from standard input";
@ -863,6 +864,10 @@ let args = Arg.align [
"-emacs", Arg.Set emacs_mode, " Run in emacs mode";
]
#if ocaml_version >= (4, 01, 0)
let () = Clflags.real_paths := false
#endif
let app_name = Filename.basename Sys.executable_name
let usage = Printf.sprintf "Usage: %s <options> <object-files> [script-file [arguments]]\noptions are:" app_name