ocamlPackages.farith: init at 0.1 (#452704)

2025-10-17 05:20:47 +00:00
parent 32397eb652 c981be7e0c
commit 2f1a45158d
2 changed files with 40 additions and 0 deletions
@@ -0,0 +1,38 @@
+{
+  lib,
+  buildDunePackage,
+  fetchFromGitLab,
+  ppx_deriving,
+  ppx_hash,
+  zarith,
+}:
+
+buildDunePackage rec {
+  pname = "farith";
+  version = "0.1";
+
+  minimalOCamlVersion = "4.10";
+
+  src = fetchFromGitLab {
+    domain = "git.frama-c.com";
+    owner = "pub";
+    repo = "farith";
+    tag = version;
+    hash = "sha256-9TGKeL3DXKEf2RLpkjOTC8aDQeLKSM9QUIiSkFCQW+8=";
+  };
+
+  propagatedBuildInputs = [
+    ppx_deriving
+    ppx_hash
+    zarith
+  ];
+
+  doCheck = true;
+
+  meta = {
+    description = "Modelisation of base 2 floating points with arbitrary exponent and mantisse size.";
+    homepage = "https://git.frama-c.com/pub/farith";
+    license = lib.licenses.lgpl2Only;
+    maintainers = with lib.maintainers; [ ethancedwards8 ];
+  };
+}
@@ -610,6 +610,8 @@ let

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

+        farith = callPackage ../development/ocaml-modules/farith { };
+
        fdkaac = callPackage ../development/ocaml-modules/fdkaac { };

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