GNU bug report logs -
#60673
[PATCH 01/39] gnu: Add ocaml-domain-name.
Previous Next
Reported by: Csepp <raingloom <at> riseup.net>
Date: Mon, 9 Jan 2023 00:36:03 UTC
Severity: normal
Tags: moreinfo, patch
Merged with 60671,
60672,
60674,
60675,
60676,
60677,
60678,
60679,
60680,
60681,
60682,
60683
Done: Christopher Baines <mail <at> cbaines.net>
Bug is archived. No further changes may be made.
Full log
View this message in rfc822 format
From: raingloom <raingloom <at> riseup.net>
* gnu/packages/ocaml.scm (ocaml-intrinsics): New variable.
---
gnu/packages/ocaml.scm | 29 +++++++++++++++++++++++++++++
1 file changed, 29 insertions(+)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 671e8bc355..cb3d5594eb 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -9221,6 +9221,35 @@ (define-public ocaml-bigstringaf
these missing pieces.")
(license license:bsd-3)))
+(define-public ocaml-intrinsics
+ (package
+ (name "ocaml-intrinsics")
+ (version "0.15.2")
+ (source (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/janestreet/ocaml_intrinsics")
+ (commit (string-append "v" version))))
+ (file-name name)
+ (sha256
+ (base32
+ "1mazr1ka2zlm2s8bw5i555cnhi1bmr9yxvpn29d3v4m8lsnfm73z"))))
+ (build-system dune-build-system)
+ ;; TODO figure out how to get around this error:
+ ;; No rule found for alias test/runtime-deps-of-tests
+ (arguments
+ '(#:tests? #f))
+ (propagated-inputs (list dune-configurator))
+ (native-inputs (list ocaml-expect-test-helpers-core ocaml-core))
+ (properties `((upstream-name . "ocaml_intrinsics")))
+ (home-page "https://github.com/janestreet/ocaml_intrinsics")
+ (synopsis "AMD64 intrinsics with emulated fallbacks")
+ (description
+ "Provides an OCaml interface to operations that have dedicated hardware
+instructions on some micro-architectures, with default implementations using C
+stubs for all targets.")
+ (license license:expat)))
+
(define-public ocaml-trie
(package
(name "ocaml-trie")
--
2.39.1
This bug report was last modified 2 years and 149 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.