-
Notifications
You must be signed in to change notification settings - Fork 11
/
kcas_data.opam
48 lines (48 loc) · 1.4 KB
/
kcas_data.opam
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
synopsis:
"Compositional lock-free data structures and primitives for communication and synchronization"
description:
"A library of compositional lock-free data structures and primitives for communication and synchronization implemented using kcas."
maintainer: [
"Vesa Karvonen <vesa.a.j.k@gmail.com>"
"KC Sivaramakrishnan <kc@tarides.com>"
]
authors: [
"KC Sivaramakrishnan <kc@tarides.com>"
"Vesa Karvonen <vesa.a.j.k@gmail.com>"
]
license: "ISC"
homepage: "https://github.com/ocaml-multicore/kcas"
bug-reports: "https://github.com/ocaml-multicore/kcas/issues"
depends: [
"dune" {>= "3.14"}
"kcas" {= version}
"multicore-magic" {>= "2.3.0"}
"backoff" {>= "0.1.1" & with-test}
"domain-local-await" {>= "1.0.1" & with-test}
"domain_shims" {>= "0.1.0" & with-test}
"multicore-bench" {>= "0.1.7" & with-test}
"alcotest" {>= "1.8.0" & with-test}
"qcheck-core" {>= "0.21.2" & with-test}
"qcheck-stm" {>= "0.3" & with-test}
"mdx" {>= "2.4.1" & with-test}
"sherlodoc" {>= "0.2" & with-doc}
"odoc" {>= "2.4.2" & with-doc}
]
build: [
["dune" "subst"] {dev}
[
"dune"
"build"
"-p"
name
"-j"
jobs
"@install"
"@runtest" {with-test}
"@doc" {with-doc}
]
]
dev-repo: "git+https://github.com/ocaml-multicore/kcas.git"
doc: "https://ocaml-multicore.github.io/kcas/doc/kcas_data/Kcas_data/"