From 0f771a004b9d0bf5f021981311d18048d92c95cc Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Sat, 3 Dec 2016 14:26:28 +0000 Subject: [PATCH] compile everything with -no-alias-deps --- src/gen_rules.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/gen_rules.ml b/src/gen_rules.ml index 8eb5b6cc..8c3fff24 100644 --- a/src/gen_rules.ml +++ b/src/gen_rules.ml @@ -591,6 +591,7 @@ module Gen(P : Params) = struct ; Dyn Lib.include_flags ; flags ; As extra_args + ; A "-no-alias-deps" ; A "-I"; Path dir ; (match alias_module with | None -> S [] @@ -777,7 +778,7 @@ module Gen(P : Params) = struct build_modules ~dir ~dep_graph ~modules ~requires ~alias_module; Option.iter alias_module ~f:(fun m -> build_module m - ~flags:(As ["-no-alias-deps"; "-w"; "-49"]) + ~flags:(As ["-w"; "-49"]) ~dir ~modules:(String_map.singleton m.name m) ~dep_graph:(Ml_kind.Dict.make_both (Build.return (String_map.singleton m.name [])))