absolute: init at 0.3 (#542141)

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";
+  };
+}

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"

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";
+  };
+
+})

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";
+  };
+})

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";
+  };
+})

pkgs/top-level/ocaml-packages.nix

@@ -60,6 +60,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 { };
@@ -1127,6 +1129,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 {
@@ -1765,6 +1769,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 { };