; Vendored from odoc-drivermod (src/driver). Temporary, pending upstreaming —
; see DESIGN.md. Built as a private library (no public_name) so it doesn't
; clash with an installed odoc-driver package.
(library
 (name odoc_driver_lib)
 ; Vendored as-is: silence warnings so odd's strict dev profile doesn't reject
 ; (or spam about) upstream code.
 (flags
  (:standard -w -a))
 (preprocess
  (pps ppx_sexp_conv))
 (libraries
  cmdliner
  bos
  progress
  fpath
  yojson
  findlib
  opam-format
  logs
  logs.fmt
  eio_main
  sexplib))
