diff --git a/src/lib.ml b/src/lib.ml index 286d46b1..42dd95b5 100644 --- a/src/lib.ml +++ b/src/lib.ml @@ -926,16 +926,6 @@ module Compile = struct ; sub_systems : Sub_system0.Instance.t Lazy.t Sub_system_name.Map.t } - let make libs = - { direct_requires = libs - ; requires = libs >>= closure - ; resolved_selects = [] - ; pps = Ok [] - ; optional = false - ; user_written_deps = [] - ; sub_systems = Sub_system_name.Map.empty - } - let for_lib db (t : lib) = { direct_requires = t.requires ; requires = t.requires >>= closure_with_overlap_checks db diff --git a/src/lib.mli b/src/lib.mli index 077d30c7..bbfa4390 100644 --- a/src/lib.mli +++ b/src/lib.mli @@ -193,10 +193,6 @@ type sub_system = .. module Compile : sig type t - (** Create a compilation context from a list of libraries. The list - doesn't have to be transitively closed. *) - val make : L.t Or_exn.t -> t - (** Return the list of dependencies needed for compiling this library *) val requires : t -> L.t Or_exn.t