summaryrefslogtreecommitdiff
path: root/gnu/packages
diff options
context:
space:
mode:
authorJulien Lepiller <julien@lepiller.eu>2022-04-08 15:23:04 +0200
committerLudovic Courtès <ludo@gnu.org>2022-04-11 11:56:52 +0200
commit16e02d2b0e13f534a9f53d5551a09ac46ebacc7d (patch)
tree996c46f05457c0358a3f101e010dbe081d35f2d7 /gnu/packages
parent0d7b065b1e5412e1e85d049e222402ecca2d0a6f (diff)
gnu: ocaml-jane-street-headers: Add variant.
* gnu/packages/ocaml.scm (ocaml-jane-street-heaers)[properties]: Add ocaml4.07 variant. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/packages')
-rw-r--r--gnu/packages/ocaml.scm1
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index c1e30ba88f..e3092e8434 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -4476,6 +4476,7 @@ recommend using this package directly.")
"028yxb4h3iy025iy89v8653m5brh7flrjshghs4x99pd690pmfs7"))
(build-system dune-build-system)
(arguments '(#:tests? #f)) ; no tests
+ (properties `((ocaml4.07-variant . ,(delay ocaml4.07-jane-street-headers))))
(home-page "https://github.com/janestreet/jane-street-headers")
(synopsis "Jane Street C header files")
(description "C header files shared between the various Jane Street