Closed gasche closed 7 years ago
Oops, that sounds like a temporary break-things-to-check-they-break change that was pushed too soon.
This is now fixed. Thanks for catching it!
Thanks !
Thanks! It might be useful to make a release (this can be very ligthweight: just adding a tag and pushing it to github suffices) so that the version without the dependency can be used for OPAM packaging.
configure.ac: make the
time
command optionalThe
time
command is only required for thebenchmarks
Makefile target which is only used for development, not for installing the package. It is unfortunate to block installation on systems that could perfectly support it (the problem is compounded by the fact that the target uses GNU-specific time options that are not available on thetime
command of BSD or OSX systems).This change makes the configure only warn, instead of erroring, if
time
is missing. I checked that the rest of the build goes perfectly well -- except thebenchmarks
rule is now a no-op.See ocaml/opam-repository#9832, which was blocked by a
time
-related failure withbitstring
on CentOS, and see the discussion in ocaml/opam-repository#9848.