Improve configure
The purpose of this merge request is to distinguish whether the users required a feature by explicitly passing --enable-foo. In that case, configuration should fail when the feature is not available, instead of silently disabling it.
Corresponding changes are performed on the Opam packages so that features are explicitly enabled when optional dependencies are available.
-
--enable-hypothesis-selection -
--enable-ide -
--enable-js-of-ocaml -
--enable-ocamlfind(now fails in case of broken support) -
--enable-mpfr(now takes precedence over Javascript) -
--enable-re(now disabled on Opam) -
--enable-stackify -
--enable-web-ide -
--enable-zarith -
--enable-zip