dev-ml / opam-0install-cudf

Opam solver using 0install backend using the CUDF interface

Official package sites : https://github.com/ocaml-opam/opam-0install-cudf ·

Summary

Opam's default solver is designed to maintain a set of packages over time, minimising disruption when installing new programs and finding a compromise solution across all packages. In many situations (e.g. CI, local roots or duniverse builds) this is not necessary, and we can get a solution much faster by using a different algorithm. This package provides a generic solver library which uses 0install's solver library. The library uses the CUDF library in order to interface with opam as it is the format common used to talk to all the supported solvers.

Versions

v0.5.0-r2 :: 0 :: gentoo

Modified
License
ISC
Keywords
~amd64 ~arm ~arm64 ~riscv ~x86
USE flags
ocamlopt test

USE flags

General

ocamlopt
Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)
test
Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)

Dependencies

dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles

dev-ml / dune : A composable build system for OCaml

Runtime Dependencies

dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles

dev-ml / 0install : Package dependency solver

dev-ml / cudf : Library to parse, pretty print, and evaluate CUDF documents

dev-ml / dune : A composable build system for OCaml

dev-ml / extlib : Standard library extensions for O'Caml

Depending packages

dev-ml / opam : A source-based package manager for OCaml

Change logs

Repository mirror & CI · gentoo
Merge updates from master
Jakov Smolić · gentoo
dev-ml/opam-0install-cudf: Keyword 0.5.0-r2 riscv, #944753
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Jakov Smolić · gentoo
dev-ml/opam-0install-cudf: Keyword 0.5.0-r2 x86, #944753
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/opam-0install-cudf: Keyword 0.5.0-r2 arm, #944753
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/opam-0install-cudf: Keyword 0.5.0-r2 arm64, #944753
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/opam-0install-cudf: dep added
Closes: https://bugs.gentoo.org/944413 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/opam-0install-cudf: fix RDEPS
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/opam-0install-cudf: new package, add 0.5.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>