diff --git a/configure.ac b/configure.ac index 59fce6e5c8f..aaef0c6be2f 100644 --- a/configure.ac +++ b/configure.ac @@ -347,7 +347,7 @@ AC_CHECK_OCAML_PKG([sha]) AC_CHECK_OCAML_PKG([swhid_core]) # Optional dependencies -AC_CHECK_OCAML_PKG_AT_LEAST([mccs],[1.1+9]) +AC_CHECK_OCAML_PKG_AT_LEAST([mccs],[1.1+17]) AS_IF([test "x${with_mccs}" = "xno" && test "x$OCAML_PKG_mccs" != "xno"], [AC_MSG_ERROR([Option --without-mccs is not available without uninstalling the 'mccs' package])]) diff --git a/master_changes.md b/master_changes.md index 25ba9be6216..2e8d31a44e8 100644 --- a/master_changes.md +++ b/master_changes.md @@ -71,6 +71,8 @@ users) ## VCS ## Build + * Vendor mccs.1.1+17 [#5769 @kit-ty-kate] + * Require mccs >= 1.1+17 [#5769 @kit-ty-kate] ## Infrastructure @@ -87,6 +89,7 @@ users) ## Opam file format ## Solver + * Fix debug logs showing up regardless of verbosity on macOS 12.7.1 / 13.6.3 / 14.2 and FreeBSD [#5769 @kit-ty-kate] ## Client diff --git a/opam-solver.opam b/opam-solver.opam index 3188b973c91..1152133d764 100644 --- a/opam-solver.opam +++ b/opam-solver.opam @@ -30,7 +30,7 @@ build: [ depends: [ "ocaml" {>= "4.08.0"} "opam-format" {= version} - "mccs" {>= "1.1+9"} + "mccs" {>= "1.1+17"} "dose3" {>= "6.1"} "cudf" {>= "0.7"} "re" {>= "1.9.0"} diff --git a/src_ext/Makefile.sources b/src_ext/Makefile.sources index 038ed683799..9efc8d7e6c6 100644 --- a/src_ext/Makefile.sources +++ b/src_ext/Makefile.sources @@ -38,8 +38,8 @@ MD5_dose3 = bc99cbcea8fca29dca3ebbee54be45e1 $(call PKG_SAME,dose3) -URL_mccs = https://github.com/AltGr/ocaml-mccs/archive/1.1+14.tar.gz -MD5_mccs = 9bfa9ff1eb3948403d44521e4e71933a +URL_mccs = https://github.com/ocaml-opam/ocaml-mccs/archive/refs/tags/1.1+17.tar.gz +MD5_mccs = 844d99bc531e0713238fe4b6b8511ed1 $(call PKG_SAME,mccs)