From 88de0c3bf45970f8d9cd071d2a9bf082f5abc6ec Mon Sep 17 00:00:00 2001
From: sempiternal-aurora
 <78790545+sempiternal-aurora@users.noreply.github.com>
Date: Sun, 16 Aug 2026 17:08:48 +1000
Subject: [PATCH] ocamlPackages.goblint-cil: init at 2.1.1

---
 .../ocaml-modules/goblint-cil/default.nix     | 56 +++++++++++++++++++
 pkgs/top-level/ocaml-packages.nix             |  2 +
 2 files changed, 58 insertions(+)
 create mode 100644 pkgs/development/ocaml-modules/goblint-cil/default.nix

diff --git a/pkgs/development/ocaml-modules/goblint-cil/default.nix b/pkgs/development/ocaml-modules/goblint-cil/default.nix
new file mode 100644
index 000000000000..552585e1d0d2
--- /dev/null
+++ b/pkgs/development/ocaml-modules/goblint-cil/default.nix
@@ -0,0 +1,56 @@
+{
+  lib,
+  buildDunePackage,
+  fetchFromGitHub,
+  hevea,
+  zarith,
+  dune-configurator,
+  stdlib-shims,
+  ppx_deriving_yojson,
+  yojson,
+  findlib,
+  cppo,
+  gcc,
+  perl,
+}:
+
+buildDunePackage (finalAttrs: {
+  pname = "goblint-cil";
+  version = "2.1.1";
+
+  minimalOCamlVersion = "4.12";
+  __structuredAttrs = true;
+
+  src = fetchFromGitHub {
+    owner = "goblint";
+    repo = "cil";
+    tag = finalAttrs.version;
+    hash = "sha256-nfu8LqTNyx/pkTlAHSay8q3KSYQ+asNAnnZjPUhkNwg=";
+  };
+
+  nativeBuildInputs = [
+    hevea
+    cppo
+    gcc
+  ];
+
+  propagatedBuildInputs = [
+    zarith
+    dune-configurator
+    stdlib-shims
+    ppx_deriving_yojson
+    yojson
+    findlib
+    perl
+  ];
+
+  # Currently broken, doesn't properly pass all tests, fails with many compile errors
+  doCheck = false;
+
+  meta = {
+    description = "Front-end for the C programming language that facilitates program analysis and transformation";
+    homepage = "https://goblint.github.io/cil/";
+    license = lib.licenses.bsd3;
+    maintainers = [ lib.maintainers.sempiternal-aurora ];
+  };
+})
diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix
index 04ade6b44b98..c5e6b6ccefa2 100644
--- a/pkgs/top-level/ocaml-packages.nix
+++ b/pkgs/top-level/ocaml-packages.nix
@@ -788,6 +788,8 @@ let
           inherit (pkgs) gnuplot;
         };
 
+        goblint-cil = callPackage ../development/ocaml-modules/goblint-cil { };
+
         grace = callPackage ../development/ocaml-modules/grace { };
 
         graphics = callPackage ../development/ocaml-modules/graphics { };