Module Opam_repomin.SolverSource

Solver for finding minimal package sets.

Sourcetype solution

A solution from the solver containing the set of required packages.

Sourceval solve : env:Env.t -> overlay:Repo.t -> full:Repo.t -> compiler:OpamPackage.t -> (solution, [ `Msg of string ]) result

Solve for the minimal set of packages.

Uses the opam-0install solver to find all packages needed to install every package in the overlay repository with the specified compiler.

  • parameter env

    Environment configuration for the solver

  • parameter overlay

    The overlay repository (takes precedence)

  • parameter full

    The full opam-repository

  • parameter compiler

    The compiler package to use

Sourceval packages : solution -> OpamPackage.t list

Get the list of packages in the solution.

Sourceval packages_from_full : solution -> overlay:Repo.t -> OpamPackage.t list

Get only the packages that need to be copied from the full repository (i.e., packages in the solution that are not already in the overlay).

Sourceval packages_from_overlay : solution -> overlay:Repo.t -> OpamPackage.t list

Get the packages in the solution that come from the overlay.