ocamlPackages.symex: init at 0.1 (#488539)

2026-02-09 07:31:15 +00:00
parent 6cbcc1b295 23f65fbb66
commit 4db2c220f3
2 changed files with 35 additions and 0 deletions
@@ -0,0 +1,33 @@
+{
+  lib,
+  buildDunePackage,
+  fetchFromGitHub,
+  fmt,
+  prelude,
+  smtml,
+}:
+
+buildDunePackage (finalAttrs: {
+  pname = "symex";
+  version = "0.1";
+
+  src = fetchFromGitHub {
+    owner = "ocamlpro";
+    repo = "symex";
+    tag = finalAttrs.version;
+    hash = "sha256-jKwFtxVcBD8Y1bfKRB8Z/MSeQLQWKvk00i8HqodkBbM=";
+  };
+
+  propagatedBuildInputs = [
+    fmt
+    prelude
+    smtml
+  ];
+
+  meta = {
+    description = "Primitives to write symbolic execution engines";
+    homepage = "https://github.com/ocamlpro/symex";
+    license = lib.licenses.agpl3Plus;
+    maintainers = with lib.maintainers; [ redianthus ];
+  };
+})
@@ -2041,6 +2041,8 @@ let

        swhid_core = callPackage ../development/ocaml-modules/swhid_core { };

+        symex = callPackage ../development/ocaml-modules/symex { };
+
        synchronizer = callPackage ../development/ocaml-modules/synchronizer { };

        syslog = callPackage ../development/ocaml-modules/syslog { };