Disable profiling for ocaml version > 4.08.0

[nicokn]

I'm trying to run opam pin mlgmpidl git+https://github.com/nberth/mlgmpidl, but it fails with the following error message.

# Profiling with "gprof" (option `-p') is only supported up to OCaml 4.08.0
# make: *** [mpz.p.cmx] Error 2
# rm mpq_caml.o mpz_caml.o mpf_caml.o gmp_random_caml.o mpfr_caml.o gmp_caml.o

Can we add the -disable-profiling flag with filter {ocaml:version > "4.08.0"} to the build step?

[nberth]

Sure I'd certainly accept these changes.
Yet, I'm noticing the configure script misses cases with OCaml versions > 4 on line 373, and that may be the actual culprit. Could you try to fix this line and remove the corresponding adjustment to opam/opam?

[nicokn]

Sure I'd certainly accept these changes.
Yet, I'm noticing the configure script misses cases with OCaml versions > 4 on line 373, and that may be the actual culprit. Could you try to fix this line and remove the corresponding adjustment to opam/opam?

Yes, that's a good idea. I added the case to the configure script.

[nberth]

One last thing: could you make it [5-9]*|[1-9][0-9]*) instead (for future-proofing — even if it's likely to be obsolete when we reach such versions of OCaml 😉 )?

[nicokn]

Sure 😀

[nberth]

Thanks 😄