this repo has no description
0
fork

Configure Feed

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

at main 20 lines 564 B view raw
1let compute_universe_hash dep_hashes = 2 let sorted = List.sort String.compare dep_hashes in 3 Day11_layer.Hash.of_strings sorted 4 5let odoc_driver_voodoo ~pkg ~universe:_ ~blessed ~actions 6 ~odoc_bin ~odoc_md_bin = 7 let pkg_name = OpamPackage.name_to_string pkg in 8 Printf.sprintf 9 "odoc_driver_voodoo %s \ 10 --odoc-dir /home/opam/odoc-out \ 11 --html-dir /home/opam/html \ 12 --actions %s -j $(nproc) -v \ 13 %s \ 14 --odoc %s \ 15 --odoc-md %s" 16 pkg_name 17 actions 18 (if blessed then "--blessed" else "") 19 odoc_bin 20 odoc_md_bin