CommonsBase Dk · dk packages

Apache-2.0 AND LGPL-2.1-only WITH OCaml-LGPL-linking-exception AND OSL-3.0 Source → Generated 2026-08-03 04:08:31 UTC

Packages the dk0 reference build system and dk1 multithreaded build system.

CommonsBase_Dk builds dk0 (MlFront's DkZero_Exec) as a per-package, content-addressed, resumable closure. A checked-in opam lock drives Dk0.Closure, which run-functions the generic CommonsLang_OCaml.Dk.OpamBuild rule for every package in DkZero_Exec's dependency closure so each package is its own cached dk object; an interrupted build resumes from the completed objects. The thin Dk0 recipe then republishes DkZero_Exec's install prefix as bin/dk0.exe. The shared MlFront source is fetched from a URL bundle and localized into Dk0.MlFrontSource (opam/dune metadata regenerated). Dk1 is wired to build the multi-threaded DkOne_Exec (dk1) the same way.

Usage

Dk0 executable

  $ get-object CommonsBase_Dk.Dk0@2.4.2 -s Release.Darwin_arm64 -m ./bin/dk0.exe -f ${RUNTIME}/Darwin_arm64-dk0.exe
  \test(pass)
  \dk.object(abi: "Release.Darwin_arm64", value-id: "ojntwvxhhffbbyczw2n6dr5eeb5phjtr6bbqe7frctoyaz5byds5a")\;

  $ get-object CommonsBase_Dk.Dk0@2.4.2 -s Release.Darwin_x86_64 -m ./bin/dk0.exe -f ${RUNTIME}/Darwin_x86_64-dk0.exe
  \test(pass)
  \dk.object(abi: "Release.Darwin_x86_64", value-id: "opuhiyqk7pldho245lt673vm6mjhzts27neku5tfia6cpfq3vif7q")\;

  $ get-object CommonsBase_Dk.Dk0@2.4.2 -s Release.Linux_x86 -m ./bin/dk0.exe -f ${RUNTIME}/Linux_x86-dk0.exe
  \test(pass)
  \dk.object(abi: "Release.Linux_x86", value-id: "ojwkvwzp7b4tfaks6mihcz5ztyled4rvb5xlezjoeoibh6gkjgo7q")\;

  $ get-object CommonsBase_Dk.Dk0@2.4.2 -s Release.Linux_x86_64 -m ./bin/dk0.exe -f ${RUNTIME}/Linux_x86_64-dk0.exe
  \test(pass)
  \dk.object(abi: "Release.Linux_x86_64", value-id: "ojnw46bilxdfbbay4x4f6wbe4md55sfj5vrg7ssk25y722n7tjapq")\;

  $ get-object CommonsBase_Dk.Dk0@2.4.2 -s Release.Linux_x86_64_musl -m ./bin/dk0.exe -f ${RUNTIME}/Linux_x86_64_musl-dk0.exe
  \test(pass)
  \dk.object(abi: "Release.Linux_x86_64_musl", value-id: "oqgmnirgqspcstizwvtw7sssu3lnae46kud6tkoafwshfaadkygwa")\;

  $ get-object CommonsBase_Dk.Dk0@2.4.2 -s Release.Windows_x86 -m ./bin/dk0.exe -f ${RUNTIME}/Windows_x86-dk0.exe
  \test(pass)
  \dk.object(abi: "Release.Windows_x86", value-id: "oslr7wzrh6iudyj6vrrcosxpr7f74xzammw53dgsi64w5htqsb3rq")\;

  $ get-object CommonsBase_Dk.Dk0@2.4.2 -s Release.Windows_x86_64 -m ./bin/dk0.exe -f ${RUNTIME}/Windows_x86_64-dk0.exe
  \test(pass)
  \dk.object(abi: "Release.Windows_x86_64", value-id: "o7gc67phnxmcpcabywbcxg6jjdja2nyuvspowdxvi4z4qfw3vmzja")\;

Dk1 executable

  $ get-object CommonsBase_Dk.Dk1@2.4.2 -s Release.Darwin_arm64 -m ./bin/dk1.exe -f ${RUNTIME}/Darwin_arm64-dk1.exe
  \test(pass)
  \dk.object(abi: "Release.Darwin_arm64", value-id: "ospnonf7b7n2dqd6ul7fcr6ktfl55n5tlvivpkmrkgtdzxtr3uqqq")\;

  $ get-object CommonsBase_Dk.Dk1@2.4.2 -s Release.Darwin_x86_64 -m ./bin/dk1.exe -f ${RUNTIME}/Darwin_x86_64-dk1.exe
  \test(pass)
  \dk.object(abi: "Release.Darwin_x86_64", value-id: "og7fhndqrm3vo7ahdyqknvbddoigcnklmyqimrerdzshqef6ftqxq")\;

  $ get-object CommonsBase_Dk.Dk1@2.4.2 -s Release.Linux_x86 -m ./bin/dk1.exe -f ${RUNTIME}/Linux_x86-dk1.exe
  \test(pass)
  \dk.object(abi: "Release.Linux_x86", value-id: "ogfgbyjziz6c52kgrktgma2yr364kzrl4pjtk6ptoljcrpgo5frwa")\;

  $ get-object CommonsBase_Dk.Dk1@2.4.2 -s Release.Linux_x86_64 -m ./bin/dk1.exe -f ${RUNTIME}/Linux_x86_64-dk1.exe
  \test(pass)
  \dk.object(abi: "Release.Linux_x86_64", value-id: "ocugsqb254bl2dshjuw4wikomf2lypacjjyv4luqtjscpoyxrhm4a")\;

  $ get-object CommonsBase_Dk.Dk1@2.4.2 -s Release.Linux_x86_64_musl -m ./bin/dk1.exe -f ${RUNTIME}/Linux_x86_64_musl-dk1.exe
  \test(pass)
  \dk.object(abi: "Release.Linux_x86_64_musl", value-id: "o3hh7ymm3un4i77njsgohdh4u73wkbmutla7qhtm32gqnlr4a2msq")\;

  $ get-object CommonsBase_Dk.Dk1@2.4.2 -s Release.Windows_x86 -m ./bin/dk1.exe -f ${RUNTIME}/Windows_x86-dk1.exe
  \test(pass)
  \dk.object(abi: "Release.Windows_x86", value-id: "o4auic5ia6clasktaibqmgt6ycn5i5aw5lqx7pc4otaqsuujsfkeq")\;

  $ get-object CommonsBase_Dk.Dk1@2.4.2 -s Release.Windows_x86_64 -m ./bin/dk1.exe -f ${RUNTIME}/Windows_x86_64-dk1.exe
  \test(pass)
  \dk.object(abi: "Release.Windows_x86_64", value-id: "o3ltgg5f5wymy65idfqxyd7dhljmdtuaownktnawvncctaxqc7rra")\;

CommonsBase_Dk distribution

`CommonsBase_Dk` ships the `dk0` (MlFront `DkZero_Exec`) and `dk1` (`DkOne_Exec`)
build-system executables. Each is built from source as a per-package,
content-addressed opam closure (`CommonsBase_Dk.Dk0.Closure` /
`CommonsBase_Dk.Dk1.Closure`) and republished as a single native executable per
slot:

- `CommonsBase_Dk.Dk0@2.4.2` -> `bin/dk0.exe`
- `CommonsBase_Dk.Dk1@2.4.2` -> `bin/dk1.exe`

The executable slots are `Linux_x86_64`, `Linux_x86_64_musl`, `Linux_x86`,
`Darwin_x86_64`, `Darwin_arm64`, `Windows_x86_64`, and `Windows_x86`. Each
slot's distribution script (`dist/<slot>.u`) `get-object`s the `bin/dk0.exe`
and `bin/dk1.exe` members for that slot. `Linux_x86_64_musl` is the fully
static musl build that runs on musl distros such as alpine as well as every
glibc distro. `Windows_arm64` is not shipped: there is no DkML arm64
toolchain slice yet.

Provides

Workspace assets

Dependencies

Producer signing key

Module	Version	Platform	value-id
`CommonsBase_Dk.Dk0`	2.4.2	Darwin_arm64	`ojntwvxhhffb…`
`CommonsBase_Dk.Dk0`	2.4.2	Darwin_x86_64	`opuhiyqk7pld…`
`CommonsBase_Dk.Dk0`	2.4.2	Linux_x86	`ojwkvwzp7b4t…`
`CommonsBase_Dk.Dk0`	2.4.2	Linux_x86_64	`ojnw46bilxdf…`
`CommonsBase_Dk.Dk0`	2.4.2	Linux_x86_64_musl	`oqgmnirgqspc…`
`CommonsBase_Dk.Dk0`	2.4.2	Windows_x86	`oslr7wzrh6iu…`
`CommonsBase_Dk.Dk0`	2.4.2	Windows_x86_64	`o7gc67phnxmc…`
`CommonsBase_Dk.Dk1`	2.4.2	Darwin_arm64	`ospnonf7b7n2…`
`CommonsBase_Dk.Dk1`	2.4.2	Darwin_x86_64	`og7fhndqrm3v…`
`CommonsBase_Dk.Dk1`	2.4.2	Linux_x86	`ogfgbyjziz6c…`
`CommonsBase_Dk.Dk1`	2.4.2	Linux_x86_64	`ocugsqb254bl…`
`CommonsBase_Dk.Dk1`	2.4.2	Linux_x86_64_musl	`o3hh7ymm3un4…`
`CommonsBase_Dk.Dk1`	2.4.2	Windows_x86	`o4auic5ia6cl…`
`CommonsBase_Dk.Dk1`	2.4.2	Windows_x86_64	`o3ltgg5f5wym…`

Asset	Project path	Type
`Dk0BuildWin`	`assets/dk0/dk0-build-win.bat`	file
`Script`	`assets/dk0/localize.sh`	file

Package	Version	sha256
`CommonsBase_Std`	2.6.20260723055125	`972d2bf05f2a3697…`
`CommonsBase_Build`	0.1.20260718232516	`f48d91a5fad0af89…`
`CommonsBase_GNU`	0.1.20260723070124	`53ac93e0238e2708…`
`CommonsLang_OCaml`	0.1.20260802153935	`5895df127412194e…`

Releases of this package are signed with this OpenBSD signify key. After you import the package, dk1 trust list prints the same public key and fingerprint; compare them here to confirm you are trusting the intended publisher over a channel independent of the download.

Fingerprint	`7457b62e3a48e8c0`
Public key	`RWR0V7YuOkjowOzjI9eRXrpE3XR6Wfky2AEfyAZ89inqlL05eZ06U+JM`

CommonsBase_Dk 0.1.20260803031118