Upgrade to mccs.1.1+17

kit-ty-kate · Dec 20, 2023 · 3584b63 · 3584b63
1 parent 2592c14
commit 3584b63
Show file tree

Hide file tree

Showing 5 changed files with 14 additions and 11 deletions.
diff --git a/configure b/configure
diff --git 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
@@ -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
@@ -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
@@ -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)