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

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

* gnu/packages/ocaml.scm (ocaml-goblint): Add variable.

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

diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 05ceda8e43..1fbcd1268b 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -914,6 +914,51 @@ (define-public ocaml-down
 @end example")
     (license license:isc)))
 
+(define-public ocaml-goblint
+  (package
+    (name "ocaml-goblint")
+    (version "2.3.0")
+    (source
+      (origin
+        (method url-fetch)
+        (uri (string-append "https://github.com/goblint/analyzer/"
+                            "releases/download/v" version "/goblint-"
+                            version ".tbz"))
+        (sha256
+         (base32
+          "09kcmi19a8zlxm76mvi2my94pm6zi34hbc1flfp3jfiqvd5cjadp"))))
+    (build-system dune-build-system)
+    (propagated-inputs (list ocaml-goblint-cil
+                             ocaml-batteries
+                             ocaml-zarith
+                             ocaml-yojson
+                             ocaml-qcheck-core
+                             ocaml-ppx-deriving
+                             ocaml-ppx-deriving-hash
+                             ocaml-ppx-deriving-yojson
+                             ocaml-odoc
+                             ocaml-fpath
+                             dune-site
+                             ocaml-dune-build-info
+                             ocaml-json-data-encoding
+                             ocaml-jsonrpc
+                             ocaml-sha
+                             ocaml-fileutils
+                             ocaml-cpu
+                             ocaml-arg-complete
+                             ocaml-yaml
+                             ocaml-uuidm
+                             ocaml-catapult
+                             ocaml-catapult-file
+                             gmp
+                             gcc))
+    (native-inputs (list ocaml-ounit2 ocaml-qcheck-ounit ruby ocaml-benchmark))
+    (home-page "https://goblint.in.tum.de")
+    (synopsis "Static analysis framework for C")
+    (description
+      "This package provides a static analysis framework for C.")
+    (license license:expat)))
+
 (define-public ocaml-goblint-cil
   (package
     (name "ocaml-goblint-cil")
-- 
2.45.2