Yozo TODA wrote: > +--- configure.ml.orig Thu Jan 21 01:52:18 2016 > ++++ configure.ml Sun Jan 24 23:32:41 2016 > +@@ -843,7 +843,7 @@ > + (** * md5sum command *) > + > + let md5sum = > +- if arch = "Darwin" then "md5 -q" else "md5sum" > ++ if arch = "Darwin" then "md5 -q" else if arch = "OpenBSD" then "cksum -qa > md5" else "md5sum" > + > + > + (** * Documentation : do we have latex, hevea, ... *)
I suspect that our 'md5 -q' is the same as Darwin's. If so, something like this might be simpler: > +- if arch = "Darwin" || arch = "OpenBSD" then "md5 -q" else "md5sum"