GNU bug report logs - #73466
[PATCH 01/16] gnu: Add ocaml-jsonrpc.

Previous Next

Full log

View this message in rfc822 format

From: Herman Rimm <herman <at> rimm.ee>
To: 73466 <at> debbugs.gnu.org
Cc: Julien Lepiller <julien <at> lepiller.eu>, pukkamustard <pukkamustard <at> posteo.net>
Subject: [bug#73466] [PATCH 15/16] gnu: Add ocaml-goblint-cil.
Date: Wed, 25 Sep 2024 10:03:11 +0200

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

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

diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index cc3d18b6af..05ceda8e43 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -914,6 +914,43 @@ (define-public ocaml-down
 @end example")
     (license license:isc)))
 
+(define-public ocaml-goblint-cil
+  (package
+    (name "ocaml-goblint-cil")
+    (version "2.0.3")
+    (source
+      (origin
+        (method url-fetch)
+        (uri (string-append "https://github.com/goblint/cil/releases/"
+                            "download/" version "/goblint-cil-" version
+                            ".tbz"))
+        (sha256
+         (base32
+          "09w93c7m2pfs5p1dk7dvp3b8qswkrmliikw7r274b0yijnsb4zbg"))))
+    (build-system dune-build-system)
+    (propagated-inputs (list ocaml-zarith
+                             hevea
+                             dune-configurator
+                             ocaml-odoc
+                             ocaml-stdlib-shims
+                             ocaml-ppx-deriving-yojson
+                             ocaml-yojson
+                             perl
+                             ocaml-cppo
+                             gmp
+                             gcc))
+    (native-inputs (list ocaml-findlib))
+    (home-page "https://github.com/goblint/cil")
+    (synopsis
+     "C Front-end for program analysis and transformation")
+    (description
+     "This is a fork of the cil package used for goblint'.  Major changes include: *
+Support for C99 and C11. * Compatibility with modern OCaml versions. * Use
+Zarith instead of Num and use that for integer constants. * Improved locations
+with columns and spans. * Removal of unmaintained extensions and MSVC support. *
+Use dune instead of make and ocamlbuild. * Many bug fixes.")
+    (license license:bsd-3)))
+
 (define-public ocaml-opam-file-format
   (package
     (name "ocaml-opam-file-format")
-- 
2.45.2

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.