Merge pull request #18 from nicokn/master

Disable profiling for ocaml version > 4.08.0
nberth · Mar 1, 2023 · d7e4f3c · d7e4f3c
2 parents 42f639b + 55a0d88
commit d7e4f3c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/configure b/configure
@@ -370,7 +370,7 @@ if test $enable_prof -eq 1
 then
     echo -n "checking whether to enable profiling: "
     case "${overs}" in
-	4.08.[1-9]*|4.09.*|4.[1-9]*)
+	4.08.[1-9]*|4.09.*|4.[1-9]*|[5-9]*|[1-9][0-9]*)
 	    echo "only available up to OCaml 4.08.0 (<= ${overs})";
 	    enable_prof=0;;
 	*)

diff --git a/opam/opam b/opam/opam
@@ -18,6 +18,7 @@ depends: [
   "conf-gmp"
   "conf-mpfr"
   "conf-perl" {build}
+  "bigarray-compat"
 ]
 conflicts: [
   "mlgmp"