From 1215fe2f8a438fc3721ed91715a41afb43df1f25 Mon Sep 17 00:00:00 2001
From: Jeremie Dimino <jdimino@janestreet.com>
Date: Fri, 30 Mar 2018 20:44:59 -0400
Subject: [PATCH] Remove unused Lib.Compile.make

---
 src/lib.ml  | 10 ----------
 src/lib.mli |  4 ----
 2 files changed, 14 deletions(-)

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