GNU bug report logs - #72107
[PATCH 0/5] gnu: ocaml-eio: Update to 0.12.

Previous Next

Full log

View this message in rfc822 format

From: Benjamin <benjamin <at> uvy.fr>
To: 72107 <at> debbugs.gnu.org
Cc: Benjamin <benjamin <at> uvy.fr>, Julien Lepiller <julien <at> lepiller.eu>, pukkamustard <pukkamustard <at> posteo.net>
Subject: [bug#72107] [PATCH 4/5] gnu: Add ocaml-domain-local-await.
Date: Sun, 14 Jul 2024 13:49:51 +0200

* gnu/packages/ocaml.scm (ocaml-domain-local-await): New variable.

Change-Id: I8ae010390f4aacfaa4c82f4ec18cbf5480595120
---
 gnu/packages/ocaml.scm | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)

diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index fdeec8f2a1..0660c3d3d4 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -3180,6 +3180,30 @@ (define-public ocaml-domain-schims
 OCaml 5 using the Domain module under OCaml 4")
     (license license:expat)))
 
+(define-public ocaml-domain-local-await
+  (package
+    (name "ocaml-domain-local-await")
+    (version "1.0.1")
+    (home-page "https://github.com/ocaml-multicore/domain-local-await")
+    (source
+     (origin
+       (method git-fetch)
+       (uri (git-reference
+             (url home-page)
+             (commit version)))
+       (file-name (git-file-name name version))
+       (sha256 (base32
+                "0h60sxzd9p14ilpg004d47y3zd89pswffr0wvqa9cykpn8qgdfcm"))))
+    (build-system dune-build-system)
+    (arguments `(#:package "domain-local-await"))
+    (propagated-inputs (list ocaml-thread-table))
+    (native-inputs (list ocaml-odoc ocaml-domain-schims ocaml-version ocaml-mdx ocaml-alcotest))
+    (synopsis "A scheduler independent blocking mechanism")
+    (description "Ocaml library implementing a scheduler independent blocking
+mechanism. It provides a low level mechanism intended for writing higher level
+libraries that need to block in a scheduler friendly manner.")
+    (license license:isc)))
+
 (define ocaml-eio
   (package
     (name "ocaml-eio")
-- 
2.45.2

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.