Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

move the part that does not depend on [l]

  • Loading branch information...
commit c6e03d53819382cbd99486f012333a5b0cb9777c 1 parent bb89d99
@tuong tuong authored
Showing with 6 additions and 6 deletions.
  1. +6 −6 src/solver.ml
View
12 src/solver.ml
@@ -564,18 +564,18 @@ struct
| _ -> failwith "TODO"
) req) in
+ (* Load an universe with all the optional dependencies *)
+ let pkglist = List.map (extended_dependencies table) pkglist in
+ let universe = Cudf.load_universe pkglist in
+ log "full-universe: %s" (string_of_universe universe);
+ let create_graph filter = dep_reduction (Cudf.get_packages ~filter universe) in
+
let action_of_answer l =
let l_s =
String.concat " "
(List.map (string_of_internal_action string_of_cudf_package) l) in
log "SOLUTION: %s" l_s;
- (* Load an universe with all the optional dependencies *)
- let pkglist = List.map (extended_dependencies table) pkglist in
- let universe = Cudf.load_universe pkglist in
- log "full-universe: %s" (string_of_universe universe);
- let create_graph filter = dep_reduction (Cudf.get_packages ~filter universe) in
-
let l_del_p, set_del =
Utils.filter_map (function
| I_to_change (Some pkg, _)
Please sign in to comment.
Something went wrong with that request. Please try again.