this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

at main 25 lines 885 B view raw
1(** Shell command generation for odoc_driver_voodoo. 2 3 Generates the command string to run inside a container for 4 documentation generation. Pure — no I/O. *) 5 6val odoc_driver_voodoo : 7 pkg:OpamPackage.t -> 8 universe:string -> 9 blessed:bool -> 10 actions:string -> 11 odoc_bin:string -> 12 odoc_md_bin:string -> 13 string 14(** [odoc_driver_voodoo ~pkg ~universe ~blessed ~actions ~odoc_bin 15 ~odoc_md_bin] generates the shell command to run 16 [odoc_driver_voodoo]. 17 18 [actions] is one of ["all"], ["compile-only"], or ["link-and-gen"]. 19 [odoc_bin] and [odoc_md_bin] are paths to the odoc and odoc-md 20 binaries inside the container. *) 21 22val compute_universe_hash : string list -> string 23(** [compute_universe_hash dep_hashes] computes a deterministic hash 24 from a sorted list of dependency doc hashes. Used to identify 25 which universe a doc build belongs to. *)