From 601973c9531a0003803464b8977e974c0558aca1 Mon Sep 17 00:00:00 2001 From: sliquister Date: Mon, 9 Jul 2018 05:28:08 -0400 Subject: [PATCH] Clflags.include_dirs is expected to hold unexpanded directories (#242) --- src/lib/uTop_main.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lib/uTop_main.ml b/src/lib/uTop_main.ml index 4e95912..4bf9379 100644 --- a/src/lib/uTop_main.ml +++ b/src/lib/uTop_main.ml @@ -1195,7 +1195,7 @@ let autoload = ref true let args = Arg.align [ "-absname", Arg.Set Location.absname, " Show absolute filenames in error message"; - "-I", Arg.String (fun dir -> Clflags.include_dirs := Misc.expand_directory Config.standard_library dir :: !Clflags.include_dirs), " Add to the list of include directories"; + "-I", Arg.String (fun dir -> Clflags.include_dirs := dir :: !Clflags.include_dirs), " Add to the list of include directories"; "-init", Arg.String (fun s -> Clflags.init_file := Some s), " Load instead of default init file"; "-labels", Arg.Clear Clflags.classic, " Use commuting label mode"; "-no-app-funct", Arg.Clear Clflags.applicative_functors, " Deactivate applicative functors";