/
opam
43 lines (43 loc) · 1.34 KB
/
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
# 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: ["KC Sivaramakrishnan <sk826@cl.cam.ac.uk>"]
authors: ["KC Sivaramakrishnan <sk826@cl.cam.ac.uk>"]
license: "ISC"
homepage: "https://github.com/ocaml-multicore/kcas"
bug-reports: "https://github.com/ocaml-multicore/kcas/issues"
depends: [
"dune" {>= "3.3"}
"kcas" {= version}
"alcotest" {>= "1.7.0" & with-test}
"mdx" {>= "1.10.0" & with-test}
"multicore-magic" {>= "1.0.0" & with-test}
"odoc" {>= "2.2.0" & 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/"
url {
src:
"https://github.com/ocaml-multicore/kcas/archive/refs/tags/0.6.0.tar.gz"
checksum: [
"md5=bd9dd3ec96c6e2c6c1c21b2c85715661"
"sha512=97f383e99d09f7ffded3cafd37c136331ed3ea35d4480fe4f8a1d133d12ef82fb63227260769f69e4ab6fbffb3610c26127ccc4acbc470d86efce0ba90d1346f"
]
}