dev-ml / dune-configurator

Helper library for gathering system configuration

Official package sites : https://github.com/ocaml/dune ·

v3.16.0 :: 0/3.16.0 :: gentoo

Modified
License
Apache-2.0
Keywords
amd64 arm arm64 ppc64 x86 ~ppc ~riscv
USE flags
ocamlopt

v2.9.3 :: 0/2.9.3 :: gentoo

Modified
License
MIT
Keywords
amd64 arm ppc64 x86 ~arm64 ~ppc ~riscv
USE flags
ocamlopt

v2.9.1 :: 0/2.9.1 :: gentoo

Modified
License
MIT
Keywords
amd64 arm arm64 ppc64 x86 ~ppc
USE flags
ocamlopt test

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)

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

dev-ml / core_bench : Micro-benchmarking library for OCaml

dev-ml / csexp : Parsing and printing of S-expressions in Canonical form

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

dev-ml / dune-private-libs : Private libraries of Dune

dev-ml / menhir : LR(1) parser generator for the OCaml language

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

dev-ml / ppx_expect : Cram like framework for OCaml

dev-ml / result : Compat result type

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

dev-ml / csexp : Parsing and printing of S-expressions in Canonical form

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

dev-ml / dune-private-libs : Private libraries of Dune

dev-ml / result : Compat result type

dev-ml / base : Standard library for OCaml

dev-ml / cairo2 : Binding to Cairo, a 2D Vector Graphics Library

dev-ml / cryptokit : Cryptographic primitives library for Objective Caml

dev-ml / gen : Iterators for OCaml, both restartable and consumable

dev-ml / graphics : The OCaml graphics library

dev-ml / gsl-ocaml : OCaml bindings for the GSL library (successor of dev-ml/ocamlgsl)

dev-ml / jst-config : Compile-time configuration for Jane Street libraries

dev-ml / lwt : Cooperative light-weight thread library for OCaml

dev-ml / ocaml-ctypes : Library for binding to C libraries using pure OCaml

dev-ml / ocaml_intrinsics : Invoke amd64 instructions (such as clz, popcnt, rdtsc, rdpmc)

Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-configurator: drop 3.6.1, 3.7.1, 3.10.0, 3.11.1, 3.13.1
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-configurator: Stabilize 3.16.0 ppc64, #937870
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-configurator: Stabilize 3.16.0 arm64, #937870
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/dune-configurator: Stabilize 3.16.0 arm, #937870
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-ml/dune-configurator: Stabilize 3.16.0 x86, #937870
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-ml/dune-configurator: Stabilize 3.16.0 amd64, #937870
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-configurator: drop 2.8.4
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-configurator: add 3.16.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-configurator: add 3.13.1
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-ml/dune-configurator: Stabilize 3.10.0 arm, #933822
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Sam James · gentoo
dev-ml/dune-configurator: Stabilize 3.10.0 arm64, #933822
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-ml/dune-configurator: Stabilize 3.10.0 amd64, #933822
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Arthur Zamarin · gentoo
dev-ml/dune-configurator: Stabilize 3.10.0 x86, #933822
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Arthur Zamarin · gentoo
dev-ml/dune-configurator: Stabilize 3.10.0 ppc64, #933822
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-configurator: add 3.11.1
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-configurator: drop 3.0.3-r1, 3.2.0, 3.7.0, 3.8.0, 3.9.0, 3.9.1
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-ml/dune-configurator: Stabilize 2.9.3 arm, #896102
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-configurator: add 3.10.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-configurator: add 3.9.1
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-configurator: add 3.9.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-configurator: add 3.8.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-configurator: stabilize 3.7.1 for amd64
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-configurator: add 3.7.1
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-ml/dune-configurator: Stabilize 3.6.1 arm64, #901653
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Arthur Zamarin · gentoo
dev-ml/dune-configurator: Stabilize 3.6.1 ppc64, #901653
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-configurator: Stabilize 3.6.1 amd64, #901653
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/dune-configurator: Stabilize 3.6.1 x86, #901653
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-ml/dune-configurator: Stabilize 3.6.1 arm, #901653
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-ml/dune-configurator: Stabilize 2.9.3 ppc64, #896102
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-configurator: add 3.7.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-ml/dune-configurator: Stabilize 2.9.3 x86, #896102
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-configurator: Stabilize 2.9.3 amd64, #896102
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-configurator: add 3.6.1
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-configurator: add 3.2.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-configurator: relax dune deps
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-configurator: build dune-configurator
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-configurator: add 3
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-ml/dune-configurator: Stabilize 2.9.1 arm, #817752
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-configurator: test are run in dune-private-libs
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-configurator: drop 2.8.2-r1, 2.9.0
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-configurator: be less strict vs ocamlopt dep
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Yongxiang Liang · gentoo
dev-ml/dune-configurator: Keyword 2.9.3 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com> Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-configurator: destabilise for ppc
Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-configurator: 2.9.3 bump
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Jakov Smolić · gentoo
dev-ml/dune-configurator: Stabilize 2.9.1 x86, #817752
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Jakov Smolić · gentoo
dev-ml/dune-configurator: Stabilize 2.9.1 amd64, #817752
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-ml/dune-configurator: Stabilize 2.9.1 arm64, #817752
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-ml/dune-configurator: Stabilize 2.9.1 ppc64, #817752
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-configurator: tidy ebuild
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-configurator: add 2.9.1
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/dune-configurator: bump 2.9.0
Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-configurator: fix phase definition style
Package-Manager: Portage-3.0.18-prefix, Repoman-3.0.3 Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-configurator: Stabilize 2.8.4 x86, #783567
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-configurator: Stabilize 2.8.4 arm, #783567
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-configurator: Stabilize 2.8.4 ppc64, #783567
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/dune-configurator: Stabilize 2.8.4 ppc, #783567
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-configurator: Stabilize 2.8.4 arm64, #783567
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-configurator: Stabilize 2.8.4 amd64, #783567
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-configurator: drop 2.7.1
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-configurator: Stabilize 2.7.1 arm, #775782
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-configurator: Stabilize 2.8.2-r1 arm64, #772833
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/dune-configurator: Stabilize 2.8.2-r1 arm, #772833
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-configurator: Stabilize 2.8.2-r1 ppc64, #772833
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/dune-configurator: add 2.8.4
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Agostino Sarubbo · gentoo
dev-ml/dune-configurator: amd64 stable wrt bug #772833
Package-Manager: Portage-3.0.13, Repoman-3.0.2 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-configurator: Stabilize 2.8.2-r1 x86, #772833
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-configurator: Stabilize 2.8.2-r1 ppc, #772833
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-configurator: Keyword 2.8.2-r1 ppc, #766884
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-configurator: Stabilize 2.7.1 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/dune-configurator: Stabilize 2.7.1 x86, #769317
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-configurator: Stabilize 2.7.1 amd64, #769317
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-configurator: Keyword 2.8.2-r1 ppc64, #766884
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/dune-configurator: Stabilize 2.7.1 ppc64, #769317
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-configurator: Keyword 2.8.2-r1 x86, #766884
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-configurator: Keyword 2.8.2-r1 arm64, #766884
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-configurator: Keyword 2.8.2-r1 arm, #766884
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-configurator: enforce ocamlopt=
Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-configurator: version lock dune-private-libs in 2.7.1 too
See also: 29a78bb9eea46318fc02a457e3431788db15a462 Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/dune-configurator: keep subslot dep on private-libs
Fixes: 29a78bb9eea46318fc02a457e3431788db15a462 Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/dune-configurator: lock to same dune-private-libs version
This will also ensure we have the right version of Dune. Reported-by: John Helmert III <jchelmert3@posteo.net> Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-configurator: fix indentation
Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/dune-configurator: add dev-ml/core_bench test dep
Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/dune-configurator: bump to 2.8.2
Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-configurator: ppc64 keyworded (bug #748576)
Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/dune-configurator: Keyword 2.7.1 ppc, #748576
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Mark Wright · gentoo
dev-ml/dune-configurator: Fix QA MissingTestRestrict
Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Mark Wright <gienah@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Mark Wright · gentoo
dev-ml/dune-configurator: Bump to 2.7.1
Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Mark Wright <gienah@gentoo.org>