From 40fd09d2bafc4baa4d14afcbd2c8f872da588c94 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Wed, 15 Jul 2026 08:25:31 +0200 Subject: [PATCH 1/5] ocamlPackages.apron: fix propagated inputs --- pkgs/development/ocaml-modules/apron/default.nix | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/pkgs/development/ocaml-modules/apron/default.nix b/pkgs/development/ocaml-modules/apron/default.nix index c329f36bf345..a57e4a1007ef 100644 --- a/pkgs/development/ocaml-modules/apron/default.nix +++ b/pkgs/development/ocaml-modules/apron/default.nix @@ -31,13 +31,15 @@ stdenv.mkDerivation (finalAttrs: { ]; buildInputs = [ gmp - mpfr ppl - camlidl flint pplite ]; - propagatedBuildInputs = [ mlgmpidl ]; + propagatedBuildInputs = [ + camlidl + mlgmpidl + mpfr + ]; outputs = [ "out" From 5637900bd83807bc2647c2d817183850cff119b4 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Wed, 15 Jul 2026 08:25:36 +0200 Subject: [PATCH 2/5] ocamlPackages.apronext: init at 1.0.4 --- .../ocaml-modules/apronext/default.nix | 27 +++++++++++++++++++ pkgs/top-level/ocaml-packages.nix | 2 ++ 2 files changed, 29 insertions(+) create mode 100644 pkgs/development/ocaml-modules/apronext/default.nix diff --git a/pkgs/development/ocaml-modules/apronext/default.nix b/pkgs/development/ocaml-modules/apronext/default.nix new file mode 100644 index 000000000000..ef85c933378e --- /dev/null +++ b/pkgs/development/ocaml-modules/apronext/default.nix @@ -0,0 +1,27 @@ +{ + lib, + fetchFromGitHub, + buildDunePackage, + apron, +}: + +buildDunePackage (finalAttrs: { + pname = "apronext"; + version = "1.0.4"; + + src = fetchFromGitHub { + owner = "ghilesZ"; + repo = "apronext"; + rev = "39610de5930e12c8d0156ed2d55fedc220f1e77d"; + hash = "sha256-K19hmvyI1RJlKv24VJustDfkGTdrW4PcR8xif/y/giQ="; + }; + + propagatedBuildInputs = [ apron ]; + + meta = { + license = lib.licenses.asl20; + homepage = "https://github.com/ghilesZ/apronext"; + description = "Extension for the OCaml interface of the apron library"; + }; + +}) diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix index 03cd672321f2..aa39bdfb9244 100644 --- a/pkgs/top-level/ocaml-packages.nix +++ b/pkgs/top-level/ocaml-packages.nix @@ -58,6 +58,8 @@ let apron = callPackage ../development/ocaml-modules/apron { }; + apronext = callPackage ../development/ocaml-modules/apronext { }; + argon2 = callPackage ../development/ocaml-modules/argon2 { }; arg-complete = callPackage ../development/ocaml-modules/arg-complete { }; From ef4335d4017c0f1dae2837456d6f205bb1c12504 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Wed, 15 Jul 2026 08:25:40 +0200 Subject: [PATCH 3/5] ocamlPackages.picasso: init at 0.4 --- .../ocaml-modules/picasso/default.nix | 26 +++++++++++++++++++ pkgs/top-level/ocaml-packages.nix | 2 ++ 2 files changed, 28 insertions(+) create mode 100644 pkgs/development/ocaml-modules/picasso/default.nix diff --git a/pkgs/development/ocaml-modules/picasso/default.nix b/pkgs/development/ocaml-modules/picasso/default.nix new file mode 100644 index 000000000000..b67dce0fee10 --- /dev/null +++ b/pkgs/development/ocaml-modules/picasso/default.nix @@ -0,0 +1,26 @@ +{ + lib, + fetchFromGitHub, + buildDunePackage, + apronext, +}: + +buildDunePackage (finalAttrs: { + pname = "picasso"; + version = "0.4"; + + src = fetchFromGitHub { + owner = "ghilesZ"; + repo = "picasso"; + tag = finalAttrs.version; + hash = "sha256-VYrN77IVXPdzPV1CNe5N4D2jgrVIHJFMvfRP6cQq/eI="; + }; + + propagatedBuildInputs = [ apronext ]; + + meta = { + description = "An Abstract element drawing library"; + license = lib.licenses.lgpl2Plus; + homepage = "https://github.com/ghilesZ/picasso"; + }; +}) diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix index aa39bdfb9244..0ae533c78035 100644 --- a/pkgs/top-level/ocaml-packages.nix +++ b/pkgs/top-level/ocaml-packages.nix @@ -1765,6 +1765,8 @@ let piaf = callPackage ../development/ocaml-modules/piaf { }; + picasso = callPackage ../development/ocaml-modules/picasso { }; + piqi = callPackage ../development/ocaml-modules/piqi { }; piqi-ocaml = callPackage ../development/ocaml-modules/piqi-ocaml { }; From 335ff4070b2d7100f238e4433539b1ff3b4142f6 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Wed, 15 Jul 2026 08:25:43 +0200 Subject: [PATCH 4/5] ocamlPackages.libabsolute: init at 0.3 --- .../ocaml-modules/libabsolute/default.nix | 32 +++++++++++++++++++ pkgs/top-level/ocaml-packages.nix | 2 ++ 2 files changed, 34 insertions(+) create mode 100644 pkgs/development/ocaml-modules/libabsolute/default.nix diff --git a/pkgs/development/ocaml-modules/libabsolute/default.nix b/pkgs/development/ocaml-modules/libabsolute/default.nix new file mode 100644 index 000000000000..478022b3ba72 --- /dev/null +++ b/pkgs/development/ocaml-modules/libabsolute/default.nix @@ -0,0 +1,32 @@ +{ + lib, + fetchFromGitHub, + buildDunePackage, + menhir, + apronext, + picasso, +}: + +buildDunePackage (finalAttrs: { + pname = "libabsolute"; + version = "0.3"; + + src = fetchFromGitHub { + owner = "mpelleau"; + repo = "absolute"; + tag = finalAttrs.version; + hash = "sha256-q2QxqZJn71MODJ1+Yf9m33qu8xERTqExMANqgk7aksQ="; + }; + + nativeBuildInputs = [ menhir ]; + + propagatedBuildInputs = [ + apronext + picasso + ]; + meta = { + license = lib.licenses.lgpl3Plus; + homepage = "https://github.com/mpelleau/AbSolute"; + description = "A constraint programming library based on abstract domains"; + }; +}) diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix index 0ae533c78035..faf7fc054217 100644 --- a/pkgs/top-level/ocaml-packages.nix +++ b/pkgs/top-level/ocaml-packages.nix @@ -1127,6 +1127,8 @@ let letters = callPackage ../development/ocaml-modules/letters { }; + libabsolute = callPackage ../development/ocaml-modules/libabsolute { }; + libc = callPackage ../development/ocaml-modules/libc { }; lilv = callPackage ../development/ocaml-modules/lilv { From 8e340636622809bc81a0e0725e13568f7f836a0d Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Wed, 15 Jul 2026 08:25:46 +0200 Subject: [PATCH 5/5] absolute: init at 0.3 --- pkgs/by-name/ab/absolute/package.nix | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 pkgs/by-name/ab/absolute/package.nix diff --git a/pkgs/by-name/ab/absolute/package.nix b/pkgs/by-name/ab/absolute/package.nix new file mode 100644 index 000000000000..b1f3a53cb152 --- /dev/null +++ b/pkgs/by-name/ab/absolute/package.nix @@ -0,0 +1,18 @@ +{ lib, ocamlPackages }: + +let + inherit (ocamlPackages) buildDunePackage libabsolute; +in + +buildDunePackage { + pname = "absolute"; + inherit (libabsolute) src version; + + __structuredAttrs = true; + + buildInputs = [ libabsolute ]; + + meta = libabsolute.meta // { + description = "A constraint solver based on abstract domains from the theory of abstract interpretation"; + }; +}