openSUSE Build Service

Overview Repositories Revisions Requests Users Attributes Meta

File opam.patch of Package opam (Revision 1261c4a3d627ca753f32027cea78ef32)

Currently displaying revision 1261c4a3d627ca753f32027cea78ef32 , Show latest

--- a/src/client/opamAdminCheck.ml
+++ b/src/client/opamAdminCheck.ml
@@ -110,9 +110,9 @@ let cycle_check univ =
   in
   (* conflicts break cycles *)
   let conflicts =
-    Algo.Defaultgraphs.PackageGraph.conflict_graph cudf_univ
+    Dose_algo.Defaultgraphs.PackageGraph.conflict_graph cudf_univ
   in
-  let module CGraph = Algo.Defaultgraphs.PackageGraph.UG in
+  let module CGraph = Dose_algo.Defaultgraphs.PackageGraph.UG in
   CGraph.iter_edges (fun nv1 nv2 ->
       OpamCudf.Graph.remove_edge graph nv1 nv2;
       OpamCudf.Graph.remove_edge graph nv2 nv1)
@@ -127,7 +127,7 @@ let cycle_check univ =
         let univ = Cudf.load_universe pkgs in
         let g = OpamCudf.Graph.of_universe univ in
         let conflicts =
-          Algo.Defaultgraphs.PackageGraph.conflict_graph univ
+          Dose_algo.Defaultgraphs.PackageGraph.conflict_graph univ
         in
         (* Simplify the graph by merging all equivalent versions of each
            package *)
--- a/src/solver/dune
+++ b/src/solver/dune
@@ -2,7 +2,7 @@
   (name        opam_solver)
   (public_name opam-solver)
   (synopsis    "OCaml Package Manager solver interaction library")
-  (libraries   opam-format cudf dose3.algo
+  (libraries   opam-format cudf dose3.algo dose3.common
                (select opamBuiltinMccs.ml from
                  (mccs -> opamBuiltinMccs.ml.real)
                  (     -> opamBuiltinMccs.ml.dummy))
--- a/src/solver/opamBuiltinMccs.ml.real
+++ b/src/solver/opamBuiltinMccs.ml.real
@@ -42,7 +42,7 @@ let call solver_backend ext ~criteria ?t
       ~verbose:OpamCoreConfig.(abs !r.debug_level >= 2)
       ?timeout criteria cudf
   with
-  | None -> raise Common.CudfSolver.Unsat
+  | None -> raise Dose_common.CudfSolver.Unsat
   | Some (preamble, univ) -> Some preamble, univ
   | exception Mccs.Timeout -> raise (Timeout None)
 
--- a/src/solver/opamCudf.ml
+++ b/src/solver/opamCudf.ml
@@ -24,7 +24,7 @@ let s_pinned = "pinned"
 let s_version_lag = "version-lag"
 
 let opam_invariant_package_name =
-  Common.CudfAdd.encode "=opam-invariant"
+  Dose_common.CudfAdd.encode "=opam-invariant"
 
 let opam_invariant_package_version = 1
 
@@ -55,7 +55,7 @@ let cudfnv2opam ?version_map ?cudf_unive
   match nv with
   | Some nv -> nv
   | None ->
-    let name = OpamPackage.Name.of_string (Common.CudfAdd.decode name) in
+    let name = OpamPackage.Name.of_string (Dose_common.CudfAdd.decode name) in
     match version_map with
     | Some vmap ->
       let nvset =
@@ -394,7 +394,7 @@ let of_json = Json.package_of_json
 (* Graph of cudf packages *)
 module Package = struct
   type t = Cudf.package
-  include Common.CudfAdd
+  include Dose_common.CudfAdd
   let to_string = string_of_package
   let name_to_string t = t.Cudf.package
   let version_to_string t = string_of_int t.Cudf.version
@@ -414,7 +414,7 @@ exception Solver_failure of string
 exception Cyclic_actions of Action.t list list
 
 type conflict_case =
-  | Conflict_dep of (unit -> Algo.Diagnostic.reason list)
+  | Conflict_dep of (unit -> Dose_algo.Diagnostic.reason list)
   | Conflict_cycle of string list list
 type conflict =
   Cudf.universe * int package_map * conflict_case
@@ -463,7 +463,7 @@ let strong_and_weak_deps u deps =
 (* From a CUDF dependency CNF, extract the set of packages that can possibly be
    part of a solution.
 
-   This is much finer than [Common.CudfAdd.resolve_deps] which doesn't handle
+   This is much finer than [Dose_common.CudfAdd.resolve_deps] which doesn't handle
    conjunctions of versions (see [Graph.of_universe] below) *)
 let dependency_set u deps =
   let strong_deps, weak_deps = strong_and_weak_deps u deps in
@@ -517,18 +517,18 @@ let _rec_strong_dependency_set u deps =
 module Graph = struct
 
   module PG = struct
-    include Algo.Defaultgraphs.PackageGraph.G
+    include Dose_algo.Defaultgraphs.PackageGraph.G
     let succ g v =
       try succ g v
       with e -> OpamStd.Exn.fatal e; []
   end
 
-  module PO = Algo.Defaultgraphs.GraphOper (PG)
+  module PO = Dose_algo.Defaultgraphs.GraphOper (PG)
 
   module Topo = Graph.Topological.Make (PG)
 
   let of_universe u =
-    (* {[Algo.Defaultgraphs.PackageGraph.dependency_graph u]}
+    (* {[Dose_algo.Defaultgraphs.PackageGraph.dependency_graph u]}
        -> doesn't handle conjunctive dependencies correctly
        (e.g. (a>3 & a<=4) is considered as (a>3 | a<=4) and results in extra
        edges).
@@ -537,7 +537,7 @@ module Graph = struct
     let t = OpamConsole.timer () in
     let g = PG.create ~size:(Cudf.universe_size u) () in
     let iter_deps f deps =
-      (* List.iter (fun d -> List.iter f (Common.CudfAdd.resolve_deps u d)) deps *)
+      (* List.iter (fun d -> List.iter f (Dose_common.CudfAdd.resolve_deps u d)) deps *)
       Set.iter f (dependency_set u deps)
     in
     Cudf.iter_packages
@@ -550,7 +550,7 @@ module Graph = struct
 
   let output g filename =
     let fd = open_out (filename ^ ".dot") in
-    Algo.Defaultgraphs.PackageGraph.DotPrinter.output_graph fd g;
+    Dose_algo.Defaultgraphs.PackageGraph.DotPrinter.output_graph fd g;
     close_out fd
 
   let transitive_closure g =
@@ -565,20 +565,20 @@ module Graph = struct
 end
 
 (** Special package used by Dose internally, should generally be filtered out *)
-let dose_dummy_request = Algo.Depsolver.dummy_request.Cudf.package
+let dose_dummy_request = Dose_algo.Depsolver.dummy_request.Cudf.package
 let is_artefact cpkg =
   is_opam_invariant cpkg ||
   cpkg.Cudf.package = dose_dummy_request
 
 let dependencies universe packages =
   Set.fixpoint (fun p -> dependency_set universe p.Cudf.depends) packages
-(* similar to Algo.Depsolver.dependency_closure but with finer results on
+(* similar to Dose_algo.Depsolver.dependency_closure but with finer results on
    version sets *)
 
 let reverse_dependencies universe packages =
   let graph = Graph.of_universe universe in
   Set.fixpoint (fun p -> Set.of_list (Graph.pred graph p)) packages
-(* similar to Algo.Depsolver.reverse_dependency_closure but more reliable *)
+(* similar to Dose_algo.Depsolver.reverse_dependency_closure but more reliable *)
 
 let dependency_sort universe packages =
   let graph = Graph.of_universe universe in
@@ -595,12 +595,12 @@ let string_of_vpkgs constr =
   OpamFormula.string_of_conjunction string_of_atom constr
 
 let string_of_universe u =
-  string_of_packages (List.sort Common.CudfAdd.compare (Cudf.get_packages u))
+  string_of_packages (List.sort Dose_common.CudfAdd.compare (Cudf.get_packages u))
 
 let vpkg2atom cudfnv2opam (name,cstr) =
   match cstr with
   | None ->
-    OpamPackage.Name.of_string (Common.CudfAdd.decode name), None
+    OpamPackage.Name.of_string (Dose_common.CudfAdd.decode name), None
   | Some (relop,v) ->
     let nv = cudfnv2opam (name,v) in
     nv.name, Some (relop, nv.version)
@@ -618,7 +618,7 @@ let vpkg2atom cudfnv2opam (name,cstr) =
           (List.map (fun p -> OpamPackage.version (cudf2opam p)) l) in
       let solutions = to_version_set solutions in
       let others = OVS.Op.(to_version_set candidates -- solutions) in
-      OpamPackage.Name.of_string (Common.CudfAdd.decode name),
+      OpamPackage.Name.of_string (Dose_common.CudfAdd.decode name),
       match relop, OVS.is_empty solutions, OVS.is_empty others with
       | _, true, true -> None
       | `Leq, false, _ | `Lt, false, true -> Some (`Leq, OVS.max_elt solutions)
@@ -636,9 +636,9 @@ let vpkg2atom cudfnv2opam (name,cstr) =
 let conflict_empty ~version_map univ =
   Conflicts (univ, version_map, Conflict_dep (fun () -> []))
 let make_conflicts ~version_map univ = function
-  | {Algo.Diagnostic.result = Algo.Diagnostic.Failure f; _} ->
+  | {Dose_algo.Diagnostic.result = Dose_algo.Diagnostic.Failure f; _} ->
     Conflicts (univ, version_map, Conflict_dep f)
-  | {Algo.Diagnostic.result = Algo.Diagnostic.Success _; _} ->
+  | {Dose_algo.Diagnostic.result = Dose_algo.Diagnostic.Success _; _} ->
     raise (Invalid_argument "make_conflicts")
 let cycle_conflict ~version_map univ cycle =
   Conflicts (univ, version_map, Conflict_cycle cycle)
@@ -655,7 +655,7 @@ let formula_of_vpkgl cudfnv2opam all_pac
     List.map (fun vp ->
         try vpkg2atom cudfnv2opam vp
         with Not_found ->
-          OpamPackage.Name.of_string (Common.CudfAdd.decode (fst vp)), None)
+          OpamPackage.Name.of_string (Dose_common.CudfAdd.decode (fst vp)), None)
       vpkgl
   in
   let names = OpamStd.List.sort_nodup compare (List.map fst atoms) in
@@ -727,7 +727,7 @@ type explanation =
 
 let extract_explanations packages cudfnv2opam reasons : explanation list =
   log "Conflict reporting";
-  let open Algo.Diagnostic in
+  let open Dose_algo.Diagnostic in
   let open Set.Op in
   let module CS = ChainSet in
   (* Definitions and printers *)
@@ -1058,7 +1058,7 @@ let default_preamble =
     (s_pinned,         `Bool (Some false));
     (s_version_lag,    `Nat (Some 0));
   ] in
-  Common.CudfAdd.add_properties Cudf.default_preamble l
+  Dose_common.CudfAdd.add_properties Cudf.default_preamble l
 
 let remove universe name constr =
   let filter p =
@@ -1091,7 +1091,7 @@ let remove_all_uninstalled_versions_but
   Cudf.load_universe packages
 
 let to_cudf univ req = (
-  Common.CudfAdd.add_properties default_preamble
+  Dose_common.CudfAdd.add_properties default_preamble
     (List.map (fun s -> s, `Int (Some 0)) req.extra_attributes),
   univ,
   { Cudf.request_id = "opam";
@@ -1178,7 +1178,7 @@ let preprocess_cudf_request (props, univ
   in
   let univ =
     let open Set.Op in
-    let vpkg2set vp = Set.of_list (Common.CudfAdd.resolve_deps univ vp) in
+    let vpkg2set vp = Set.of_list (Dose_common.CudfAdd.resolve_deps univ vp) in
     let to_install =
       vpkg2set creq.Cudf.install
       ++ Set.of_list (Cudf.lookup_packages univ opam_invariant_package_name)
@@ -1305,7 +1305,7 @@ let preprocess_cudf_request (props, univ
     (chrono ());
   props, univ, creq
 
-exception Timeout of Algo.Depsolver.solver_result option
+exception Timeout of Dose_algo.Depsolver.solver_result option
 
 let call_external_solver ~version_map univ req =
   let cudf_request = to_cudf univ req in
@@ -1315,7 +1315,7 @@ let call_external_solver ~version_map un
     ignore (dump_cudf_request ~version_map cudf_request
               criteria OpamSolverConfig.(!r.cudf_file));
     (* Wrap a return of exn Timeout through Depsolver *)
-    let check_request_using ~call_solver ~criteria ~explain req =
+    let check_request_using ~call_solver ~explain req =
       let timed_out = ref false in
       let call_solver args =
         try call_solver args with
@@ -1323,7 +1323,7 @@ let call_external_solver ~version_map un
         | OpamCudfSolver.Timeout None -> raise (Timeout None)
       in
       let r =
-        Algo.Depsolver.check_request_using ~call_solver ~criteria ~explain req
+        Dose_algo.Depsolver.check_request_using ~call_solver ~explain req
       in
       if !timed_out then raise (Timeout (Some r)) else r
     in
@@ -1335,7 +1335,7 @@ let call_external_solver ~version_map un
       let r =
         check_request_using
           ~call_solver:(OpamSolverConfig.call_solver ~criteria)
-          ~criteria ~explain:true cudf_request
+                    ~explain:true cudf_request
       in
       log "Solver call done in %.3fs" (chrono ());
       r
@@ -1375,23 +1375,23 @@ let call_external_solver ~version_map un
       in
       raise (Solver_failure msg)
   else
-    Algo.Depsolver.Sat(None,Cudf.load_universe [])
+    Dose_algo.Depsolver.Sat(None,Cudf.load_universe [])
 
 let check_request ?(explain=true) ~version_map univ req =
-  match Algo.Depsolver.check_request ~explain (to_cudf univ req) with
-  | Algo.Depsolver.Unsat
-      (Some ({Algo.Diagnostic.result = Algo.Diagnostic.Failure _; _} as r)) ->
+  match Dose_algo.Depsolver.check_request ~explain (to_cudf univ req) with
+  | Dose_algo.Depsolver.Unsat
+      (Some ({Dose_algo.Diagnostic.result = Dose_algo.Diagnostic.Failure _; _} as r)) ->
     make_conflicts ~version_map univ r
-  | Algo.Depsolver.Sat (_,u) ->
+  | Dose_algo.Depsolver.Sat (_,u) ->
     Success (remove u dose_dummy_request None)
-  | Algo.Depsolver.Error msg ->
+  | Dose_algo.Depsolver.Error msg ->
     let f = dump_cudf_error ~version_map univ req in
     let msg =
       Printf.sprintf "Internal solver failed with %s Request saved to %S"
         msg f
     in
     raise (Solver_failure msg)
-  | Algo.Depsolver.Unsat _ -> (* normally when [explain] = false *)
+  | Dose_algo.Depsolver.Unsat _ -> (* normally when [explain] = false *)
     conflict_empty ~version_map univ
 
 (* Return the universe in which the system has to go *)
@@ -1404,12 +1404,12 @@ let get_final_universe ~version_map univ
     in
     raise (Solver_failure msg) in
   match call_external_solver ~version_map univ req with
-  | Algo.Depsolver.Sat (_,u) -> Success (remove u dose_dummy_request None)
-  | Algo.Depsolver.Error "(CRASH) Solution file is empty" ->
+  | Dose_algo.Depsolver.Sat (_,u) -> Success (remove u dose_dummy_request None)
+  | Dose_algo.Depsolver.Error "(CRASH) Solution file is empty" ->
     (* XXX Is this still needed with latest dose? *)
     Success (Cudf.load_universe [])
-  | Algo.Depsolver.Error str -> fail str
-  | Algo.Depsolver.Unsat r   ->
+  | Dose_algo.Depsolver.Error str -> fail str
+  | Dose_algo.Depsolver.Unsat r   ->
     let msg =
       Printf.sprintf
         "The solver (%s) pretends there is no solution while that's apparently \
@@ -1420,10 +1420,10 @@ let get_final_universe ~version_map univ
          Solver.name)
     in
     match r with
-    | Some ({Algo.Diagnostic.result = Algo.Diagnostic.Failure _; _} as r) ->
+    | Some ({Dose_algo.Diagnostic.result = Dose_algo.Diagnostic.Failure _; _} as r) ->
       OpamConsole.error "%s" msg;
       make_conflicts ~version_map univ r
-    | Some {Algo.Diagnostic.result = Algo.Diagnostic.Success _; _}
+    | Some {Dose_algo.Diagnostic.result = Dose_algo.Diagnostic.Success _; _}
     | None ->
       raise (Solver_failure msg)
 
@@ -1516,11 +1516,11 @@ let compute_root_causes g requested rein
   let module StringSet = OpamStd.String.Set in
   let requested_pkgnames =
     OpamPackage.Name.Set.fold (fun n s ->
-        StringSet.add (Common.CudfAdd.encode (OpamPackage.Name.to_string n)) s)
+        StringSet.add (Dose_common.CudfAdd.encode (OpamPackage.Name.to_string n)) s)
       requested StringSet.empty in
   let reinstall_pkgnames =
     OpamPackage.Set.fold (fun nv s ->
-        StringSet.add (Common.CudfAdd.encode (OpamPackage.name_to_string nv)) s)
+        StringSet.add (Dose_common.CudfAdd.encode (OpamPackage.name_to_string nv)) s)
       reinstall StringSet.empty in
   let actions =
     ActionGraph.fold_vertex (fun a acc -> Map.add (action_contents a) a acc)
@@ -1711,10 +1711,10 @@ let atomic_actions ~simple_universe ~com
   (* conflicts *)
   let conflicts_graph =
     let filter p = Set.mem p to_remove || Set.mem p to_install in
-    Algo.Defaultgraphs.PackageGraph.conflict_graph
+    Dose_algo.Defaultgraphs.PackageGraph.conflict_graph
       (Cudf.load_universe (Cudf.get_packages ~filter complete_universe))
   in
-  Algo.Defaultgraphs.PackageGraph.UG.iter_edges (fun p1 p2 ->
+  Dose_algo.Defaultgraphs.PackageGraph.UG.iter_edges (fun p1 p2 ->
       if Set.mem p1 to_remove && Set.mem p2 to_install then
         ActionGraph.add_edge g (`Remove p1) (`Install ( p2))
       else if Set.mem p2 to_remove && Set.mem p1 to_install then
--- a/src/solver/opamCudf.mli
+++ b/src/solver/opamCudf.mli
@@ -32,7 +32,7 @@ module Map: OpamStd.MAP with type key =
 module Graph: sig
   (** Graph of cudf packages *)
 
-  include module type of Algo.Defaultgraphs.PackageGraph.G
+  include module type of Dose_algo.Defaultgraphs.PackageGraph.G
 
   (** Build a graph from a CUDF universe. Warning: dependency edges are towards
       the dependency, which is the reverse of what happens in the action
@@ -198,7 +198,7 @@ val string_of_vpkgs: Cudf_types.vpkg lis
 
 val make_conflicts:
   version_map:int package_map -> Cudf.universe ->
-  Algo.Diagnostic.diagnosis -> ('a, conflict) result
+  Dose_algo.Diagnostic.diagnosis -> ('a, conflict) result
 val cycle_conflict:
   version_map:int package_map -> Cudf.universe ->
   string list list -> ('a, conflict) result
--- a/src/solver/opamCudfSolver.ml
+++ b/src/solver/opamCudfSolver.ml
@@ -57,7 +57,7 @@ let call_external_solver command ~criter
     in
     OpamFilename.remove solver_in;
     if not (OpamFilename.exists solver_out) then
-      raise (Common.CudfSolver.Error "no output")
+      raise (Dose_common.CudfSolver.Error "no output")
     else if
       (let ic = OpamFilename.open_in solver_out in
        try
@@ -65,7 +65,7 @@ let call_external_solver command ~criter
          i = "FAIL"
        with End_of_file -> close_in ic; false)
     then
-      raise Common.CudfSolver.Unsat
+      raise Dose_common.CudfSolver.Unsat
     else
     let r =
       Cudf_parser.load_solution_from_file
--- a/src/solver/opamSolver.ml
+++ b/src/solver/opamSolver.ml
@@ -90,7 +90,7 @@ let cudf_versions_map universe packages
     pmap OpamPackage.Map.empty
 
 let name_to_cudf name =
-  Common.CudfAdd.encode (OpamPackage.Name.to_string name)
+  Dose_common.CudfAdd.encode (OpamPackage.Name.to_string name)
 
 let constraint_to_cudf version_map name (op,v) =
   let nv = OpamPackage.create name v in
@@ -343,7 +343,7 @@ let load_cudf_universe
       OpamConsole.error_and_exit `Solver_failure "Malformed CUDF universe (%s)" s
   in
   log ~level:3 "Secondary load of cudf universe: done in %.3fs" (chrono ());
-  (* let universe = Algo.Depsolver.trim universe in *)
+  (* let universe = Dose_algo.Depsolver.trim universe in *)
   cudf_universe
 
 let string_of_request r =
@@ -478,13 +478,13 @@ let installable universe =
       universe.u_available ~build:true ~post:true ()
   in
   let trimmed_universe =
-    (* Algo.Depsolver.trim simple_universe => this can explode memory, we need
+    (* Dose_algo.Depsolver.trim simple_universe => this can explode memory, we need
        to specify [~explain:false] *)
-    let open Algo in
+    let open Dose_algo in
     let open Depsolver in
     let trimmed_pkgs = ref [] in
     let callback d =
-      if Algo.Diagnostic.is_solution d then
+      if Dose_algo.Diagnostic.is_solution d then
         match d.Diagnostic.request with
         |[p] -> trimmed_pkgs := p::!trimmed_pkgs
         |_ -> assert false
@@ -515,12 +515,12 @@ let installable_subset universe packages
       simple_universe
   in
   let trimmed_universe =
-    (* Algo.Depsolver.trimlist simple_universe with [~explain:false] *)
-    let open Algo in
+    (* Dose_algo.Depsolver.trimlist simple_universe with [~explain:false] *)
+    let open Dose_algo in
     let open Depsolver in
     let trimmed_pkgs = ref [] in
     let callback d =
-      if Algo.Diagnostic.is_solution d then
+      if Dose_algo.Diagnostic.is_solution d then
         match d.Diagnostic.request with
         |[p] -> trimmed_pkgs := p::!trimmed_pkgs
         |_ -> assert false
@@ -619,10 +619,10 @@ let coinstallability_check universe pack
     opam2cudf universe ~depopts:false ~build:true ~post:true
       version_map packages
   in
-  match Algo.Depsolver.edos_coinstall cudf_universe cudf_packages with
-  | { Algo.Diagnostic.result = Algo.Diagnostic.Success _; _ } ->
+  match Dose_algo.Depsolver.edos_coinstall cudf_universe cudf_packages with
+  | { Dose_algo.Diagnostic.result = Dose_algo.Diagnostic.Success _; _ } ->
     None
-  | { Algo.Diagnostic.result = Algo.Diagnostic.Failure _; _ } as c ->
+  | { Dose_algo.Diagnostic.result = Dose_algo.Diagnostic.Failure _; _ } as c ->
     match OpamCudf.make_conflicts ~version_map cudf_universe c with
     | Conflicts cs -> Some cs
     | _ -> None
@@ -644,8 +644,8 @@ let atom_coinstallability_check universe
        opam2cudf universe version_map universe.u_available
          ~depopts:false ~build:true ~post:true)
   in
-  Algo.Depsolver.edos_install cudf_universe check_pkg
-  |> Algo.Diagnostic.is_solution
+  Dose_algo.Depsolver.edos_install cudf_universe check_pkg
+  |> Dose_algo.Diagnostic.is_solution
 
 let new_packages sol =
   OpamCudf.ActionGraph.fold_vertex (fun action packages ->

Places

File opam.patch of Package opam (Revision 1261c4a3d627ca753f32027cea78ef32)

Places