~/talk

Homogeneous builds with OBuilder and OCaml

on YouTube 19m
Talkat OCaml 2022 · on Friday, 2022-09-16· [developer-experience]

speakers

name:Tim McGilchrist
website:https://tangled.org/tsmc.purely-functional.com
name:David Allsopp
links:none on file
name:Patrick Ferris
website:https://patrick.sirref.org
name:Antonin Décimo
links:none on file
name:Thomas Leonard
links:none on file
name:Anil Madhavapeddy
website:https://anil.recoil.org/
name:Kate Deplaix
links:none on file

resources

video:https://youtu.be/XopV5Gd6hPo
slides:none on file

summary

OBuilder provides sandboxed, cross-platform OCaml builds used in production by checks.ocaml.io, OCaml-CI and opam-repo-ci, supporting Linux, macOS, Windows and BSDs and multiple architectures (x86_64, ppc, s390, RISC‑V). Linux uses runC plus Btrfs subvolumes or ZFS snapshots; macOS uses per-build user accounts with a fuse shim for Homebrew and an rsync-based store fallback when ZFS was unstable; Windows runs prebuilt Windows container images. Implementation uncovers real bugs (Lwt, Stdlib, GNU tar) and serves about eight client integrations.

AI-written summary · about

chapters (10)

  1. 0:00OBuilder and OCaml builds
  2. 1:06Homogeneous build requirements
  3. 2:55OBuilder caching
  4. 4:19OCluster overview
  5. 7:28Linux with runC and btrfs
  6. 9:56MacOS sandboxing
  7. 13:50Windows with Docker
  8. 16:37Windows bugs
  9. 17:18Future work
  10. 19:06Conclusion

related talks

~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.