aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJulien Lepiller <julien@lepiller.eu>2019-02-01 19:16:19 +0100
committerJulien Lepiller <julien@lepiller.eu>2019-02-05 22:34:22 +0100
commitdc361a2563fa0349ef169bd3edecb984932043bf (patch)
treec7302293bc39fc6ad5c7f0dbef842e7b176e5227
parent5995e6d1042cc8427c2ad9ac8cc78c21f4bbe7a4 (diff)
downloadpatches-dc361a2563fa0349ef169bd3edecb984932043bf.tar
patches-dc361a2563fa0349ef169bd3edecb984932043bf.tar.gz
gnu: Add ocaml-jane-street-headers.
* gnu/packages/ocaml.scm (ocaml-jane-street-headers): New variable.
-rw-r--r--gnu/packages/ocaml.scm21
1 files changed, 21 insertions, 0 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 2d12d20190..2adbaf5232 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -5975,3 +5975,24 @@ random values.
This library implements a splittable pseudo-random number generator that sacrifices
cryptographic-quality randomness in favor of performance.")
(license license:asl2.0)))
+
+(define-public ocaml-jane-street-headers
+ (package
+ (name "ocaml-jane-street-headers")
+ (version "0.11.0")
+ (source (origin
+ (method url-fetch)
+ (uri (string-append "https://ocaml.janestreet.com/ocaml-core/v"
+ (version-major+minor version)
+ "/files/jane-street-headers-v" version ".tar.gz"))
+ (sha256
+ (base32
+ "0afhzm08l9v883fhpqqh2lmy7az609pxif40bp7x1sk8c0yszqsh"))))
+ (build-system dune-build-system)
+ (arguments
+ `(#:test-target "."))
+ (home-page "https://github.com/janestreet/jane-street-headers")
+ (synopsis "Jane Street C header files")
+ (description "This package provides C header files shared between the
+various Jane Street packages.")
+ (license license:asl2.0)))