The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.
configure complains if ocamldoc isn't found. However, the tool is only needed if you run the optional make doc step. This PR both makes the search optional and then adds error handling on the doc target if ocamldoc was not found.
Spotted in the wild - we build ocaml in CI without ocamldoc to reduce the cache sizes!
configurecomplains ifocamldocisn't found. However, the tool is only needed if you run the optionalmake docstep. This PR both makes the search optional and then adds error handling on thedoctarget ifocamldocwas not found.Spotted in the wild - we build ocaml in CI without ocamldoc to reduce the cache sizes!