-
Notifications
You must be signed in to change notification settings - Fork 11
/
kcas.opam
48 lines (48 loc) · 1.43 KB
/
kcas.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:
"Software transactional memory based on lock-free multi-word compare-and-set"
description:
"A software transactional memory (STM) implementation based on an atomic lock-free multi-word compare-and-set (MCAS) algorithm enhanced with read-only compare operations and ability to block awaiting for changes."
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"}
"ocaml" {>= "4.13.0"}
"backoff" {>= "0.1.1"}
"domain-local-await" {>= "1.0.1"}
"domain-local-timeout" {>= "1.0.1"}
"multicore-magic" {>= "2.3.0"}
"domain_shims" {>= "0.1.0" & 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/Kcas/"