[nix] update packages

- upgrade camlp5 to 8.03.01 (OCaml 5.3 compatibility)
- upgrade mlmpfr + patch 5.3 (Werror in Nix)
- downgrade dolmen (Alt-Ergo)
- upgrade ppxlib_jane (Alt-Ergo)
- upgrade ppxlib (OCaml 5.3 compatibility)

nix/camlp5.nix

@@ -10,13 +10,13 @@ else
 let params =
   if lib.versionAtLeast ocaml.version "4.12" && !legacy
   then rec {
-    version = "8.03.00";
+    version = "8.03.01";
 
     src = fetchFromGitHub {
       owner = "camlp5";
       repo = "camlp5";
       rev = version;
-      hash = "sha256-hu/279gBvUc7Z4jM6EHiar6Wm4vjkGXl+7bxowj+vlM=";
+      hash = "sha256-GnNSCfnizazMT5kgib7u5PIb2kWsnqpL33RsPEK4JvM=";
     };
 
     nativeBuildInputs = [ makeWrapper ocaml findlib perl ];

nix/dolmen.nix

+{ lib, fetchurl, buildDunePackage
+, menhir, menhirLib
+, fmt
+, qcheck
+}:
+
+buildDunePackage rec {
+  pname = "dolmen";
+  version = "0.9";
+
+  minimalOCamlVersion = "4.08";
+
+  src = fetchurl {
+    url = "https://github.com/Gbury/dolmen/releases/download/v${version}/dolmen-${version}.tbz";
+    hash = "sha256-AD21OFS6zDoz+lXtac95gXwQNppPfGvpRK8dzDZXigo=";
+  };
+
+  nativeBuildInputs = [ menhir ];
+  propagatedBuildInputs = [ menhirLib fmt ];
+
+  doCheck = true;
+
+  checkInputs = [ qcheck ];
+
+  meta = {
+    description = "An OCaml library providing clean and flexible parsers for input languages";
+    license = lib.licenses.bsd2;
+    maintainers = [ lib.maintainers.vbgl ];
+    homepage = "https://github.com/Gbury/dolmen";
+  };
+}

nix/mlmpfr.nix

@@ -4,11 +4,12 @@
 , gmp
 , mpfr
 , buildDunePackage
+, dune-configurator
 }:
 
 buildDunePackage rec {
   pname = "mlmpfr";
-  version = "4.1.0-bugfix2";
+  version = "4.2.1";
 
   minimumOCamlVersion = "4.04";
 
@@ -16,9 +17,11 @@ buildDunePackage rec {
     owner = "thvnx";
     repo = pname;
     rev = pname+"."+version;
-    sha256 = "19g26jv6cjinpl5pcjif1ldyaagxlandp3qjajsy8srqg4a5rg0d";
+    sha256 = "1pr1kl50r4s03z3biwhwvbg6pplwsgbdh2mg60r316hij1fdvkvg";
   };
 
+  patches = [ ./mlmpfr.patch ];
+  buildInputs = [ dune-configurator ];
   propagatedBuildInputs = [ gmp mpfr ];
 
   meta = {

nix/mlmpfr.patch

+From f810ca8cd5690d76367d6031796850828a7162b8 Mon Sep 17 00:00:00 2001
+From: Allan Blanchard <allan.blanchard@cea.fr>
+Date: Thu, 23 Jan 2025 13:37:11 +0100
+Subject: [PATCH] be sure that the warning on implicit declaration is never an
+ error
+
+---
+ src/dune | 2 +-
+ 1 file changed, 1 insertion(+), 1 deletion(-)
+
+diff --git a/src/dune b/src/dune
+index 5158d05..ab698c1 100644
+--- a/src/dune
++++ b/src/dune
+@@ -7,7 +7,7 @@
+   (language c)
+   (names mlmpfr_stubs)
+   (flags
+-   (:include c_flags.sexp)))
++   (:include c_flags.sexp) -Wno-error=implicit-function-declaration))
+  (c_library_flags
+   (:include c_library_flags.sexp)))
+ 
+-- 
+2.34.1
+

nix/pkgs.nix

@@ -5,7 +5,10 @@ let
     alt-ergo = oself.callPackage ./alt-ergo.nix {};
     camlp5 = oself.callPackage ./camlp5.nix {};
     combinetura = oself.callPackage ./combinetura.nix {};
+    dolmen = oself.callPackage ./dolmen.nix {};
     mlmpfr = oself.callPackage ./mlmpfr.nix {};
+    ppxlib = oself.callPackage ./ppxlib.nix {};
+    ppxlib_jane = oself.callPackage ./ppxlib_jane.nix {};
     why3 = oself.callPackage ./why3.nix {};
 
     # Helpers

nix/ppxlib.nix

+{ lib, fetchurl, buildDunePackage, ocaml,
+  stdlib-shims, ocaml-compiler-libs, ppx_derivers, stdio
+}:
+
+buildDunePackage rec {
+  pname = "ppxlib";
+  version = "0.34.0";
+
+  duneVersion = "3";
+
+  src = fetchurl {
+    url = "https://github.com/ocaml-ppx/ppxlib/releases/download/${version}/ppxlib-${version}.tbz";
+    sha256 = "sha256-132XFloVjXrla3wDh80E6ZJ9fn55fKEDn/tbsXpmYac=";
+  };
+
+  propagatedBuildInputs = [
+    ocaml-compiler-libs
+    ppx_derivers
+    stdio
+    stdlib-shims
+  ];
+
+  meta = {
+    description = "Comprehensive ppx tool set";
+    license = lib.licenses.mit;
+    maintainers = [ lib.maintainers.vbgl ];
+    homepage = "https://github.com/ocaml-ppx/ppxlib";
+  };
+}

nix/ppxlib_jane.nix

+{ lib, ocaml, janePackage, ppxlib }:
+janePackage (
+  {
+    pname = "ppxlib_jane";
+    meta.description = "A library for use in ppxes for constructing and matching on ASTs corresponding to the augmented parsetree";
+    propagatedBuildInputs = [ ppxlib ];
+  }
+  // (
+  if lib.versionAtLeast ocaml.version "5.3" then
+    {
+      version = "0.17.2";
+      hash = "sha256-AQJSdKtF6p/aG5Lx8VHVEOsisH8ep+iiml6DtW+Hdik=";
+    }
+  else
+    {
+      version = "0.17.0";
+      hash = "sha256-8NC8CHh3pSdFuRDQCuuhc2xxU+84UAsGFJbbJoKwd0U=";
+    }
+  )
+)