12456

Build # 12456

Build Type

github

Committed by GitHub

Commit Message

<a href="https://github.com/ocaml/dune/commit/<a class=hub.com/ocaml/dune/commit/<a class="double-link" href="https://git"><a class=hub.com/ocaml/dune/commit/<a class="double-link" href="https://git"><a class=hub.com/ocaml/dune/commit/<a class="double-link" href="https://git"><a class=hub.com/ocaml/dune/commit/6c8101df2096896a9b3c45389a52b0e740f0b2d8">6c8101df2">&lt;a href=&quot;https://github.com/ocaml/dune/commit/</a><a class="double-link" href="https://github.com/ocaml/dune/commit/&lt;a class=&quot;double-link&quot; href=&quot;https://git">&lt;a class=</a>hub.com/ocaml/dune/commit/&lt;a class=&quot;double-link&quot; href=&quot;https://git">&lt;a class=</a>hub.com/ocaml/dune/commit/&lt;a class=&quot;double-link&quot; href=&quot;https://git">&lt;a class=</a>hub.com/ocaml/dune/commit/&lt;a class=&quot;double-link&quot; href=&quot;https://git">&lt;a class=</a>hub.com/ocaml/dune/commit/6c8101df2096896a9b3c45389a52b0e740f0b2d8">6c8101df2</a><a href="https://github.com/ocaml/dune/commit/6c8101df2096896a9b3c45389a52b0e740f0b2d8">&quot;&gt;&amp;lt;a href=&amp;quot;https://github.com/ocaml/dune/commit/&lt;/a&gt;&lt;a class=&quot;double-link&quot; href=&quot;https://github.com/ocaml/dune/commit/&amp;lt;a class=&amp;quot;double-link&amp;quot; href=&amp;quot;https://git&quot;&gt;&amp;lt;a class=&lt;/a&gt;hub.com/ocaml/dune/commit/&amp;lt;a class=&amp;quot;double-link&amp;quot; href=&amp;quot;https://git&quot;&gt;&amp;lt;a class=&lt;/a&gt;hub.com/ocaml/dune/commit/&amp;lt;a class=&amp;quot;double-link&amp;quot; href=&amp;quot;https://git&quot;&gt;&amp;lt;a class=&lt;/a&gt;hub.com/ocaml/dune/commit/&amp;lt;a class=&amp;quot;double-link&amp;quot; href=&amp;quot;https://git&quot;&gt;&amp;lt;a class=&lt;/a&gt;hub.com/ocaml/dune/commit/6c8101df2096896a9b3c45389a52b0e740f0b2d8&quot;&gt;6c8101df2&lt;/a&gt;&lt;a href=&quot;https://github.com/ocaml/dune/commit/6c8101df2096896a9b3c45389a52b0e740f0b2d8&quot;&gt;&amp;quot;&amp;gt;&amp;amp;lt;a href=&amp;amp;quot;https://github.com/ocaml/dune/commit/&amp;lt;/a&amp;gt;&amp;lt;a class=&amp;quot;double-link&amp;quot; href=&amp;quot;https://github.com/ocaml/dune/commit/&amp;amp;lt;a class=&amp;amp;quot;double-link&amp;amp;quot; href=&amp;amp;quot;https://git&amp;quot;&amp;gt;&amp;amp;lt;a class=&amp;... (continued)

Pull Request Pull Request #6693: fix(melange): virtual library support

Run Details

49 of 49 new or added lines in 1 file covered. (100.0%)

13176 of 33130 relevant lines covered (39.77%)

28183.09 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

0.0

/src/dune_rules/melange_rules.ml

open Import
module CC = Compilation_context

let ocaml_flags sctx ~dir melange =
  let open Memo.O in
  let open Super_context in
  let* expander = expander sctx ~dir in
  let* flags =
    let+ ocaml_flags = env_node sctx ~dir >>= Env_node.ocaml_flags in
    Ocaml_flags.make_with_melange ~melange ~default:ocaml_flags
      ~eval:(Expander.expand_and_eval_set expander)
  in
  build_dir_is_vendored dir >>| function
  | true ->
    let ocaml_version = (context sctx).version in
    with_vendored_flags ~ocaml_version flags
  | false -> flags

let lib_output_dir ~target_dir ~lib_dir =
  Path.Build.append_source target_dir
    (Path.Build.drop_build_context_exn lib_dir)

let make_js_name ~js_ext ~dst_dir m =
  let name = Melange.js_basename m ^ js_ext in
  Path.Build.relative dst_dir name

let local_of_lib ~loc lib =
  match Lib.Local.of_lib lib with
  | Some s -> s
  | None ->
    let lib_name = Lib.name lib in
    User_error.raise ~loc
      [ Pp.textf "The external library %s cannot be used"
          (Lib_name.to_string lib_name)
      ]

let virtual_dst_dir_and_modules sctx lib ~loc ~target_dir =
  match Lib.implements lib with
  | None -> Resolve.Memo.return None
  | Some vlib ->
    let open Resolve.Memo.O in
    let* vlib = vlib in
    let info =
      let vlib = local_of_lib ~loc vlib in
      Lib.Local.info vlib
    in
    let+ modules =
      Dir_contents.modules_of_lib sctx vlib
      |> Resolve.Memo.lift_memo >>| Option.value_exn
    in
    let lib_dir = Lib_info.src_dir info in
    let dst_dir = lib_output_dir ~target_dir ~lib_dir in
    Some (dst_dir, vlib, modules)

let js_includes ~loc ~sctx ~target_dir ~(requires_link : Lib.t list Resolve.t)
    ~scope ~js_ext =
  let project = Scope.project scope in
  let deps_of_lib =
    let of_module m ~dst_dir = make_js_name ~js_ext ~dst_dir m |> Path.build in
    fun lib ->
      let lib_dir =
        local_of_lib ~loc lib |> Lib.Local.info |> Lib_info.src_dir
      in
      let open Memo.O in
      let* source_modules =
        Dir_contents.modules_of_lib sctx lib
        >>| Option.value_exn >>| Modules.impl_only
      in
      let open Resolve.Memo.O in
      let+ virtual_deps =
        let+ dst_dir_and_virtual_modules =
          virtual_dst_dir_and_modules sctx lib ~loc ~target_dir
        in
        match dst_dir_and_virtual_modules with
        | None -> []
        | Some (dst_dir, _vlib, virtual_modules) ->
          let source_modules = Modules.impl_only virtual_modules in
          List.rev_map source_modules ~f:(of_module ~dst_dir)
      in
      let impl_deps =
        let dst_dir = lib_output_dir ~target_dir ~lib_dir in
        List.rev_map source_modules ~f:(of_module ~dst_dir)
      in
      List.rev_append virtual_deps impl_deps |> Dep.Set.of_files
  in
  let open Resolve.Memo.O in
  Command.Args.memo @@ Resolve.Memo.args
  @@ let* requires_link = Memo.return requires_link in
     let+ deps =
       Resolve.Memo.List.map requires_link ~f:deps_of_lib >>| Dep.Set.union_all
     in
     Command.Args.S
       [ Lib_flags.L.include_flags ~project requires_link Melange
       ; Hidden_deps deps
       ]

let build_js ~loc ~dir ~pkg_name ~mode ~module_system ~dst_dir ~obj_dir ~sctx
    ~lib_deps_js_includes ~js_ext m =
  let open Memo.O in
  let* compiler = Melange_binary.melc sctx ~loc:(Some loc) ~dir in
  let src = Obj_dir.Module.cm_file_exn obj_dir m ~kind:(Melange Cmj) in
  let output = make_js_name ~js_ext ~dst_dir m in
  let obj_dir =
    [ Command.Args.A "-I"; Path (Path.build (Obj_dir.melange_dir obj_dir)) ]
  in
  let melange_package_args =
    let pkg_name_args =
      match pkg_name with
      | None -> []
      | Some pkg_name ->
        [ "--bs-package-name"; Package.Name.to_string pkg_name ]
    in
    let js_modules_str = Melange.Module_system.to_string module_system in
    "--bs-module-type" :: js_modules_str :: pkg_name_args
  in
  let lib_deps_js_includes = Command.Args.as_any lib_deps_js_includes in
  Super_context.add_rule sctx ~dir ~loc ~mode
    (Command.run
       ~dir:(Path.build (Super_context.context sctx).build_dir)
       compiler
       [ Command.Args.S obj_dir
       ; lib_deps_js_includes
       ; As melange_package_args
       ; A "-o"
       ; Target output
       ; Dep (Path.build src)
       ])

let add_rules_for_entries ~sctx ~dir ~expander ~dir_contents ~scope
    ~compile_info ~target_dir ~mode (mel : Melange_stanzas.Emit.t) =
  let open Memo.O in
  (* Use "mobjs" rather than "objs" to avoid a potential conflict with a library
     of the same name *)
  let* modules, obj_dir =
    Dir_contents.ocaml dir_contents
    >>| Ml_sources.modules_and_obj_dir ~for_:(Melange { target = mel.target })
  in
  let* () = Check_rules.add_obj_dir sctx ~obj_dir in
  let* flags = ocaml_flags sctx ~dir mel.compile_flags in
  let requires_link = Lib.Compile.requires_link compile_info in
  let direct_requires = Lib.Compile.direct_requires compile_info in
  let* modules, pp =
    Buildable_rules.modules_rules sctx
      (Melange
         { preprocess = mel.preprocess
         ; preprocessor_deps = mel.preprocessor_deps
         ; (* TODO still needed *)
           lint = Preprocess.Per_module.default ()
         ; (* why is this always false? *)
           empty_module_interface_if_absent = false
         })
      expander ~dir scope modules
  in
  let* cctx =
    let js_of_ocaml = None in
    Compilation_context.create () ~loc:mel.loc ~super_context:sctx ~expander
      ~scope ~obj_dir ~modules ~flags ~requires_link
      ~requires_compile:direct_requires ~preprocessing:pp ~js_of_ocaml
      ~opaque:Inherit_from_settings ~package:mel.package
      ~modes:
        { ocaml = { byte = None; native = None }
        ; melange = Some (Requested Loc.none)
        }
  in
  let pkg_name = Option.map mel.package ~f:Package.name in
  let loc = mel.loc in
  let js_ext = mel.javascript_extension in
  let* lib_deps_js_includes =
    let+ requires_link = Memo.Lazy.force requires_link in
    js_includes ~loc ~sctx ~target_dir ~requires_link ~scope ~js_ext
  in
  let* () = Module_compilation.build_all cctx in
  let module_list =
    Modules.fold_no_vlib modules ~init:[] ~f:(fun x acc -> x :: acc)
  in
  let dst_dir =
    Path.Build.append_source target_dir (Path.Build.drop_build_context_exn dir)
  in
  let* () =
    Memo.parallel_iter module_list ~f:(fun m ->
        (* Should we check module kind? *)
        build_js ~dir ~loc ~pkg_name ~mode ~module_system:mel.module_system
          ~dst_dir ~obj_dir ~sctx ~lib_deps_js_includes ~js_ext m)
  in
  let* () =
    match mel.alias with
    | None -> Memo.return ()
    | Some alias_name ->
      let alias = Alias.make alias_name ~dir in
      let deps =
        List.rev_map module_list ~f:(fun m ->
            make_js_name ~js_ext ~dst_dir m |> Path.build)
        |> Action_builder.paths
      in
      Rules.Produce.Alias.add_deps alias deps
  in
  let* requires_compile = Compilation_context.requires_compile cctx in
  let preprocess =
    Preprocess.Per_module.with_instrumentation mel.preprocess
      ~instrumentation_backend:
        (Lib.DB.instrumentation_backend (Scope.libs scope))
  in
  let stdlib_dir = (Super_context.context sctx).stdlib_dir in
  Memo.return
    ( cctx
    , Merlin.make ~requires:requires_compile ~stdlib_dir ~flags ~modules
        ~source_dirs:Path.Source.Set.empty ~libname:None ~preprocess ~obj_dir
        ~ident:(Lib.Compile.merlin_ident compile_info)
        ~dialects:(Dune_project.dialects (Scope.project scope))
        ~modes:`Melange_emit )

let add_rules_for_libraries ~dir ~scope ~target_dir ~sctx ~requires_link ~mode
    (mel : Melange_stanzas.Emit.t) =
  Memo.parallel_iter requires_link ~f:(fun lib ->
      let open Memo.O in
      let lib_name = Lib.name lib in
      let* lib, lib_compile_info =
        Lib.DB.get_compile_info (Scope.libs scope) lib_name
      in
      let info = local_of_lib ~loc:mel.loc lib |> Lib.Local.info in
      let loc = Lib_info.loc info in
      let obj_dir = Lib_info.obj_dir info in
      let pkg_name = Lib_info.package info in
      let js_ext = mel.javascript_extension in
      let* lib_deps_js_includes =
        let+ requires_link =
          Memo.Lazy.force (Lib.Compile.requires_link lib_compile_info)
        in
        js_includes ~loc:mel.loc ~sctx ~target_dir ~requires_link ~scope ~js_ext
      in
      let* () =
        let* virtual_dst_dir_and_modules =
          virtual_dst_dir_and_modules sctx lib ~loc ~target_dir
          |> Resolve.Memo.read_memo
        in
        match virtual_dst_dir_and_modules with
        | None -> Memo.return ()
        | Some (dst_dir, vlib, virtual_modules) ->
          let source_modules = Modules.impl_only virtual_modules in
          let* lib_deps_js_includes =
            let+ requires_link =
              Lib.Compile.for_lib ~allow_overlaps:false (Scope.libs scope) vlib
              |> Lib.Compile.requires_link |> Memo.Lazy.force
            in
            js_includes ~loc:mel.loc ~sctx ~target_dir ~requires_link ~scope
              ~js_ext
          in
          Memo.parallel_iter source_modules
            ~f:
              (build_js ~loc ~dir ~pkg_name ~mode
                 ~module_system:mel.module_system ~dst_dir ~obj_dir ~sctx
                 ~lib_deps_js_includes ~js_ext)
      in
      let* source_modules =
        Dir_contents.modules_of_lib sctx lib
        >>| Option.value_exn >>| Modules.impl_only
      in
      let dst_dir =
        let lib_dir = Lib_info.src_dir info in
        lib_output_dir ~target_dir ~lib_dir
      in
      Memo.parallel_iter source_modules
        ~f:
          (build_js ~loc ~dir ~pkg_name ~mode ~module_system:mel.module_system
             ~dst_dir ~obj_dir ~sctx ~lib_deps_js_includes ~js_ext))

let compile_info ~scope (mel : Melange_stanzas.Emit.t) =
  let open Memo.O in
  let dune_version = Scope.project scope |> Dune_project.dune_version in
  let+ pps =
    Resolve.Memo.read_memo
      (Preprocess.Per_module.with_instrumentation mel.preprocess
         ~instrumentation_backend:
           (Lib.DB.instrumentation_backend (Scope.libs scope)))
    >>| Preprocess.Per_module.pps
  in
  let merlin_ident = Merlin_ident.for_melange ~target:mel.target in
  Lib.DB.resolve_user_written_deps (Scope.libs scope) (`Melange_emit mel.target)
    mel.libraries ~pps ~dune_version ~merlin_ident

let emit_rules ~dir_contents ~dir ~scope ~sctx ~expander mel =
  let open Memo.O in
  let* compile_info = compile_info ~scope mel in
  let target_dir = Path.Build.relative dir mel.target in
  let mode =
    match mel.promote with
    | None -> Rule.Mode.Standard
    | Some p -> Promote p
  in
  let f () =
    let+ cctx_and_merlin =
      add_rules_for_entries ~sctx ~dir ~expander ~dir_contents ~scope
        ~compile_info ~target_dir ~mode mel
    and+ () =
      let* requires_link =
        Memo.Lazy.force (Lib.Compile.requires_link compile_info)
      in
      let* requires_link = Resolve.read_memo requires_link in
      add_rules_for_libraries ~dir ~scope ~target_dir ~sctx ~requires_link ~mode
        mel
    in
    cctx_and_merlin
  in
  Buildable_rules.with_lib_deps
    (Super_context.context sctx)
    compile_info ~dir ~f

1	open Import
2	module CC = Compilation_context
3
4	let ocaml_flags sctx ~dir melange =
5	let open Memo.O in	×
6	let open Super_context in
7	let* expander = expander sctx ~dir in	×
8	let* flags =	×
9	let+ ocaml_flags = env_node sctx ~dir >>= Env_node.ocaml_flags in	×
10	Ocaml_flags.make_with_melange ~melange ~default:ocaml_flags	×
11	~eval:(Expander.expand_and_eval_set expander)	×
12	in
13	build_dir_is_vendored dir >>\| function	×
14	\| true ->	×
15	let ocaml_version = (context sctx).version in	×
16	with_vendored_flags ~ocaml_version flags
17	\| false -> flags	×
18
19	let lib_output_dir ~target_dir ~lib_dir =
20	Path.Build.append_source target_dir	×
21	(Path.Build.drop_build_context_exn lib_dir)	×
22
23	let make_js_name ~js_ext ~dst_dir m =
24	let name = Melange.js_basename m ^ js_ext in	×
25	Path.Build.relative dst_dir name
26
27	let local_of_lib ~loc lib =
28	match Lib.Local.of_lib lib with	×
29	\| Some s -> s	×
30	\| None ->	×
31	let lib_name = Lib.name lib in
32	User_error.raise ~loc	×
33	[ Pp.textf "The external library %s cannot be used"	×
34	(Lib_name.to_string lib_name)	×
35	]
36
37	let virtual_dst_dir_and_modules sctx lib ~loc ~target_dir =
38	match Lib.implements lib with	×
39	\| None -> Resolve.Memo.return None	×
40	\| Some vlib ->	×
41	let open Resolve.Memo.O in
42	let* vlib = vlib in
43	let info =	×
44	let vlib = local_of_lib ~loc vlib in
45	Lib.Local.info vlib	×
46	in
47	let+ modules =
48	Dir_contents.modules_of_lib sctx vlib
49	\|> Resolve.Memo.lift_memo >>\| Option.value_exn	×
50	in
51	let lib_dir = Lib_info.src_dir info in	×
52	let dst_dir = lib_output_dir ~target_dir ~lib_dir in	×
53	Some (dst_dir, vlib, modules)
54
55	let js_includes ~loc ~sctx ~target_dir ~(requires_link : Lib.t list Resolve.t)
56	~scope ~js_ext =
57	let project = Scope.project scope in	×
58	let deps_of_lib =	×
59	let of_module m ~dst_dir = make_js_name ~js_ext ~dst_dir m \|> Path.build in	×
60	fun lib ->
61	let lib_dir =	×
62	local_of_lib ~loc lib \|> Lib.Local.info \|> Lib_info.src_dir	×
63	in
64	let open Memo.O in	×
65	let* source_modules =
66	Dir_contents.modules_of_lib sctx lib	×
67	>>\| Option.value_exn >>\| Modules.impl_only	×
68	in
69	let open Resolve.Memo.O in	×
70	let+ virtual_deps =
71	let+ dst_dir_and_virtual_modules =
72	virtual_dst_dir_and_modules sctx lib ~loc ~target_dir	×
73	in
74	match dst_dir_and_virtual_modules with	×
75	\| None -> []	×
76	\| Some (dst_dir, _vlib, virtual_modules) ->	×
77	let source_modules = Modules.impl_only virtual_modules in
78	List.rev_map source_modules ~f:(of_module ~dst_dir)	×
79	in
80	let impl_deps =	×
81	let dst_dir = lib_output_dir ~target_dir ~lib_dir in
82	List.rev_map source_modules ~f:(of_module ~dst_dir)	×
83	in
84	List.rev_append virtual_deps impl_deps \|> Dep.Set.of_files	×
85	in
86	let open Resolve.Memo.O in
87	Command.Args.memo @@ Resolve.Memo.args	×
88	@@ let* requires_link = Memo.return requires_link in	×
89	let+ deps =	×
90	Resolve.Memo.List.map requires_link ~f:deps_of_lib >>\| Dep.Set.union_all	×
91	in
92	Command.Args.S	×
93	[ Lib_flags.L.include_flags ~project requires_link Melange	×
94	; Hidden_deps deps
95	]
96
97	let build_js ~loc ~dir ~pkg_name ~mode ~module_system ~dst_dir ~obj_dir ~sctx
98	~lib_deps_js_includes ~js_ext m =
99	let open Memo.O in	×
100	let* compiler = Melange_binary.melc sctx ~loc:(Some loc) ~dir in	×
101	let src = Obj_dir.Module.cm_file_exn obj_dir m ~kind:(Melange Cmj) in	×
102	let output = make_js_name ~js_ext ~dst_dir m in	×
103	let obj_dir =	×
104	[ Command.Args.A "-I"; Path (Path.build (Obj_dir.melange_dir obj_dir)) ]	×
105	in
106	let melange_package_args =
107	let pkg_name_args =
108	match pkg_name with
109	\| None -> []	×
110	\| Some pkg_name ->	×
111	[ "--bs-package-name"; Package.Name.to_string pkg_name ]	×
112	in
113	let js_modules_str = Melange.Module_system.to_string module_system in
114	"--bs-module-type" :: js_modules_str :: pkg_name_args	×
115	in
116	let lib_deps_js_includes = Command.Args.as_any lib_deps_js_includes in
117	Super_context.add_rule sctx ~dir ~loc ~mode	×
118	(Command.run	×
119	~dir:(Path.build (Super_context.context sctx).build_dir)	×
120	compiler
121	[ Command.Args.S obj_dir
122	; lib_deps_js_includes
123	; As melange_package_args
124	; A "-o"
125	; Target output
126	; Dep (Path.build src)	×
127	])
128
129	let add_rules_for_entries ~sctx ~dir ~expander ~dir_contents ~scope
130	~compile_info ~target_dir ~mode (mel : Melange_stanzas.Emit.t) =
131	let open Memo.O in	×
132	(* Use "mobjs" rather than "objs" to avoid a potential conflict with a library
133	of the same name *)
134	let* modules, obj_dir =
135	Dir_contents.ocaml dir_contents	×
136	>>\| Ml_sources.modules_and_obj_dir ~for_:(Melange { target = mel.target })	×
137	in
138	let* () = Check_rules.add_obj_dir sctx ~obj_dir in	×
139	let* flags = ocaml_flags sctx ~dir mel.compile_flags in	×
140	let requires_link = Lib.Compile.requires_link compile_info in	×
141	let direct_requires = Lib.Compile.direct_requires compile_info in	×
142	let* modules, pp =	×
143	Buildable_rules.modules_rules sctx	×
144	(Melange
145	{ preprocess = mel.preprocess
146	; preprocessor_deps = mel.preprocessor_deps
147	; (* TODO still needed *)
148	lint = Preprocess.Per_module.default ()	×
149	; (* why is this always false? *)
150	empty_module_interface_if_absent = false
151	})
152	expander ~dir scope modules
153	in
154	let* cctx =	×
155	let js_of_ocaml = None in
156	Compilation_context.create () ~loc:mel.loc ~super_context:sctx ~expander	×
157	~scope ~obj_dir ~modules ~flags ~requires_link
158	~requires_compile:direct_requires ~preprocessing:pp ~js_of_ocaml
159	~opaque:Inherit_from_settings ~package:mel.package
160	~modes:
161	{ ocaml = { byte = None; native = None }
162	; melange = Some (Requested Loc.none)
163	}
164	in
165	let pkg_name = Option.map mel.package ~f:Package.name in	×
166	let loc = mel.loc in	×
167	let js_ext = mel.javascript_extension in
168	let* lib_deps_js_includes =
169	let+ requires_link = Memo.Lazy.force requires_link in	×
170	js_includes ~loc ~sctx ~target_dir ~requires_link ~scope ~js_ext	×
171	in
172	let* () = Module_compilation.build_all cctx in	×
173	let module_list =	×
174	Modules.fold_no_vlib modules ~init:[] ~f:(fun x acc -> x :: acc)	×
175	in
176	let dst_dir =	×
177	Path.Build.append_source target_dir (Path.Build.drop_build_context_exn dir)	×
178	in
179	let* () =	×
180	Memo.parallel_iter module_list ~f:(fun m ->	×
181	(* Should we check module kind? *)
182	build_js ~dir ~loc ~pkg_name ~mode ~module_system:mel.module_system	×
183	~dst_dir ~obj_dir ~sctx ~lib_deps_js_includes ~js_ext m)
184	in
185	let* () =	×
186	match mel.alias with
187	\| None -> Memo.return ()	×
188	\| Some alias_name ->	×
189	let alias = Alias.make alias_name ~dir in
190	let deps =	×
191	List.rev_map module_list ~f:(fun m ->
192	make_js_name ~js_ext ~dst_dir m \|> Path.build)	×
193	\|> Action_builder.paths	×
194	in
195	Rules.Produce.Alias.add_deps alias deps	×
196	in
197	let* requires_compile = Compilation_context.requires_compile cctx in	×
198	let preprocess =	×
199	Preprocess.Per_module.with_instrumentation mel.preprocess
200	~instrumentation_backend:
201	(Lib.DB.instrumentation_backend (Scope.libs scope))	×
202	in
203	let stdlib_dir = (Super_context.context sctx).stdlib_dir in	×
204	Memo.return
205	( cctx
206	, Merlin.make ~requires:requires_compile ~stdlib_dir ~flags ~modules
207	~source_dirs:Path.Source.Set.empty ~libname:None ~preprocess ~obj_dir
208	~ident:(Lib.Compile.merlin_ident compile_info)	×
209	~dialects:(Dune_project.dialects (Scope.project scope))	×
210	~modes:`Melange_emit )
211
212	let add_rules_for_libraries ~dir ~scope ~target_dir ~sctx ~requires_link ~mode
213	(mel : Melange_stanzas.Emit.t) =
214	Memo.parallel_iter requires_link ~f:(fun lib ->	×
215	let open Memo.O in	×
216	let lib_name = Lib.name lib in
217	let* lib, lib_compile_info =	×
218	Lib.DB.get_compile_info (Scope.libs scope) lib_name	×
219	in
220	let info = local_of_lib ~loc:mel.loc lib \|> Lib.Local.info in	×
221	let loc = Lib_info.loc info in	×
222	let obj_dir = Lib_info.obj_dir info in	×
223	let pkg_name = Lib_info.package info in	×
224	let js_ext = mel.javascript_extension in	×
225	let* lib_deps_js_includes =
226	let+ requires_link =
227	Memo.Lazy.force (Lib.Compile.requires_link lib_compile_info)	×
228	in
229	js_includes ~loc:mel.loc ~sctx ~target_dir ~requires_link ~scope ~js_ext	×
230	in
231	let* () =	×
232	let* virtual_dst_dir_and_modules =
233	virtual_dst_dir_and_modules sctx lib ~loc ~target_dir
234	\|> Resolve.Memo.read_memo	×
235	in
236	match virtual_dst_dir_and_modules with	×
237	\| None -> Memo.return ()	×
238	\| Some (dst_dir, vlib, virtual_modules) ->	×
239	let source_modules = Modules.impl_only virtual_modules in
240	let* lib_deps_js_includes =	×
241	let+ requires_link =
242	Lib.Compile.for_lib ~allow_overlaps:false (Scope.libs scope) vlib	×
243	\|> Lib.Compile.requires_link \|> Memo.Lazy.force	×
244	in
245	js_includes ~loc:mel.loc ~sctx ~target_dir ~requires_link ~scope	×
246	~js_ext
247	in
248	Memo.parallel_iter source_modules	×
249	~f:
250	(build_js ~loc ~dir ~pkg_name ~mode
251	~module_system:mel.module_system ~dst_dir ~obj_dir ~sctx
252	~lib_deps_js_includes ~js_ext)
253	in
254	let* source_modules =	×
255	Dir_contents.modules_of_lib sctx lib	×
256	>>\| Option.value_exn >>\| Modules.impl_only	×
257	in
258	let dst_dir =	×
259	let lib_dir = Lib_info.src_dir info in
260	lib_output_dir ~target_dir ~lib_dir	×
261	in
262	Memo.parallel_iter source_modules
263	~f:
264	(build_js ~loc ~dir ~pkg_name ~mode ~module_system:mel.module_system
265	~dst_dir ~obj_dir ~sctx ~lib_deps_js_includes ~js_ext))
266
267	let compile_info ~scope (mel : Melange_stanzas.Emit.t) =
268	let open Memo.O in	×
269	let dune_version = Scope.project scope \|> Dune_project.dune_version in	×
270	let+ pps =	×
271	Resolve.Memo.read_memo	×
272	(Preprocess.Per_module.with_instrumentation mel.preprocess	×
273	~instrumentation_backend:
274	(Lib.DB.instrumentation_backend (Scope.libs scope)))	×
275	>>\| Preprocess.Per_module.pps	×
276	in
277	let merlin_ident = Merlin_ident.for_melange ~target:mel.target in	×
278	Lib.DB.resolve_user_written_deps (Scope.libs scope) (`Melange_emit mel.target)	×
279	mel.libraries ~pps ~dune_version ~merlin_ident
280
281	let emit_rules ~dir_contents ~dir ~scope ~sctx ~expander mel =
282	let open Memo.O in	×
283	let* compile_info = compile_info ~scope mel in	×
284	let target_dir = Path.Build.relative dir mel.target in	×
285	let mode =	×
286	match mel.promote with
287	\| None -> Rule.Mode.Standard	×
288	\| Some p -> Promote p	×
289	in
290	let f () =
291	let+ cctx_and_merlin =	×
292	add_rules_for_entries ~sctx ~dir ~expander ~dir_contents ~scope	×
293	~compile_info ~target_dir ~mode mel
294	and+ () =
295	let* requires_link =
296	Memo.Lazy.force (Lib.Compile.requires_link compile_info)	×
297	in
298	let* requires_link = Resolve.read_memo requires_link in	×
299	add_rules_for_libraries ~dir ~scope ~target_dir ~sctx ~requires_link ~mode	×
300	mel
301	in
302	cctx_and_merlin	×
303	in
304	Buildable_rules.with_lib_deps
305	(Super_context.context sctx)	×
306	compile_info ~dir ~f

ocaml / dune / 12456

Source File Press 'n' to go to next uncovered line, 'b' for previous

Source File
Press 'n' to go to next uncovered line, 'b' for previous