Subject: [PATCH 06/16] gnu: Add ocaml-menhirSdk.

From: Herman Rimm <[email-masked]>
Date: Wed, 25 Sep 2024 10:03:02 +0200

* gnu/packages/ocaml.scm (ocaml-menhirSdk, ocaml-menhirLib): Add
variables.

Change-Id: I5778d14c497b8df1574591bee6700d6db1c81500
---
 gnu/packages/ocaml.scm | 40 ++++++++++++++++++++++++++++++++++++++++
 1 file changed, 40 insertions(+)

diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 2bacc46f86..7b92abe00d 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -1491,6 +1491,46 @@ (define-public ocaml-menhir
     ;; are QPL licensed.
     (license (list license:gpl2+ license:qpl))))
 
+(define-public ocaml-menhirLib
+  (package
+    (name "ocaml-menhirLib")
+    (version "20231231")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append "https://gitlab.inria.fr/fpottier/menhir/-/"
+                           "archive/" version "/archive.tar.gz"))
+       (sha256
+        (base32 "1xn7760ahcf22y2ix597dh1wj7bc70x7fzj4vj73wch77imraffz"))))
+    (build-system dune-build-system)
+    (home-page "http://gitlab.inria.fr/fpottier/menhir")
+    (synopsis "Runtime support library for parsers generated by Menhir")
+    (description
+      "This package provides a runtime support library for parsers
+generated by Menhir.")
+    ;; LGPL 2.0 only with OCaml LGPL linking exception.
+    (license license:lgpl2.0)))
+
+(define-public ocaml-menhirSdk
+  (package
+    (name "ocaml-menhirSdk")
+    (version "20231231")
+    (source
+     (origin
+       (method url-fetch)
+       (uri (string-append "https://gitlab.inria.fr/fpottier/menhir/-/"
+                           "archive/" version "/archive.tar.gz"))
+       (sha256
+        (base32 "1xn7760ahcf22y2ix597dh1wj7bc70x7fzj4vj73wch77imraffz"))))
+    (build-system dune-build-system)
+    (home-page "http://gitlab.inria.fr/fpottier/menhir")
+    (synopsis "Library for auxiliary tools related to Menhir")
+    (description
+      "This package provides a compile-time library for auxiliary tools
+related to Menhir.")
+    ;; LGPL 2.0 only with OCaml LGPL linking exception.
+    (license license:lgpl2.0)))
+
 (define-public ocaml-bigarray-compat
   (package
     (name "ocaml-bigarray-compat")
-- 
2.45.2