|
1 | 1 | (lang dune 3.8) |
| 2 | + |
2 | 3 | (name kcas) |
| 4 | + |
3 | 5 | (generate_opam_files true) |
4 | | -(source (github ocaml-multicore/kcas)) |
| 6 | + |
| 7 | +(implicit_transitive_deps false) |
| 8 | + |
5 | 9 | (authors "KC Sivaramakrishnan <[email protected]>") |
6 | | -(maintainers "Vesa Karvonen <[email protected]>" "KC Sivaramakrishnan <[email protected]>") |
| 10 | + |
| 11 | +(maintainers |
| 12 | + "Vesa Karvonen <[email protected]>" |
| 13 | + "KC Sivaramakrishnan <[email protected]>") |
| 14 | + |
| 15 | +(source |
| 16 | + (github ocaml-multicore/kcas)) |
| 17 | + |
7 | 18 | (homepage "https://github.com/ocaml-multicore/kcas") |
| 19 | + |
8 | 20 | (license ISC) |
9 | | -(implicit_transitive_deps false) |
10 | | -(package (name kcas) |
11 | | - (synopsis "Software transactional memory based on lock-free multi-word compare-and-set") |
12 | | - (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.") |
| 21 | + |
| 22 | +(using mdx 0.4) |
| 23 | + |
| 24 | +(package |
| 25 | + (name kcas) |
| 26 | + (synopsis |
| 27 | + "Software transactional memory based on lock-free multi-word compare-and-set") |
| 28 | + (description |
| 29 | + "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.") |
13 | 30 | (depends |
14 | | - (ocaml (>= 4.13.0)) |
15 | | - (backoff (>= 0.1.0)) |
16 | | - (domain-local-await (>= 1.0.0)) |
17 | | - (domain-local-timeout (>= 1.0.0)) |
18 | | - (multicore-magic (>= 2.0.0)) |
19 | | - (domain_shims (and (>= 0.1.0) :with-test)) |
20 | | - (alcotest (and (>= 1.7.0) :with-test)) |
21 | | - (mdx (and (>= 2.3.0) :with-test)) |
22 | | - (odoc (and (>= 2.2.0) :with-doc)))) |
23 | | -(package (name kcas_data) |
24 | | - (synopsis "Compositional lock-free data structures and primitives for communication and synchronization") |
25 | | - (description "A library of compositional lock-free data structures and primitives for communication and synchronization implemented using kcas.") |
| 31 | + (ocaml |
| 32 | + (>= 4.13.0)) |
| 33 | + (backoff |
| 34 | + (>= 0.1.0)) |
| 35 | + (domain-local-await |
| 36 | + (>= 1.0.0)) |
| 37 | + (domain-local-timeout |
| 38 | + (>= 1.0.0)) |
| 39 | + (multicore-magic |
| 40 | + (>= 2.0.0)) |
| 41 | + (domain_shims |
| 42 | + (and |
| 43 | + (>= 0.1.0) |
| 44 | + :with-test)) |
| 45 | + (alcotest |
| 46 | + (and |
| 47 | + (>= 1.7.0) |
| 48 | + :with-test)) |
| 49 | + (mdx |
| 50 | + (and |
| 51 | + (>= 2.3.0) |
| 52 | + :with-test)) |
| 53 | + (odoc |
| 54 | + (and |
| 55 | + (>= 2.2.0) |
| 56 | + :with-doc)))) |
| 57 | + |
| 58 | +(package |
| 59 | + (name kcas_data) |
| 60 | + (synopsis |
| 61 | + "Compositional lock-free data structures and primitives for communication and synchronization") |
| 62 | + (description |
| 63 | + "A library of compositional lock-free data structures and primitives for communication and synchronization implemented using kcas.") |
26 | 64 | (depends |
27 | | - (kcas (= :version)) |
28 | | - (multicore-magic (>= 2.0.0)) |
29 | | - (domain-local-await (and (>= 1.0.0) :with-test)) |
30 | | - (domain_shims (and (>= 0.1.0) :with-test)) |
31 | | - (mtime (and (>= 2.0.0) :with-test)) |
32 | | - (alcotest (and (>= 1.7.0) :with-test)) |
33 | | - (mdx (and (>= 2.3.0) :with-test)) |
34 | | - (yojson (and (>= 2.1.0) :with-test)) |
35 | | - (odoc (and (>= 2.2.0) :with-doc)))) |
36 | | -(using mdx 0.4) |
| 65 | + (kcas |
| 66 | + (= :version)) |
| 67 | + (multicore-magic |
| 68 | + (>= 2.0.0)) |
| 69 | + (domain-local-await |
| 70 | + (and |
| 71 | + (>= 1.0.0) |
| 72 | + :with-test)) |
| 73 | + (domain_shims |
| 74 | + (and |
| 75 | + (>= 0.1.0) |
| 76 | + :with-test)) |
| 77 | + (mtime |
| 78 | + (and |
| 79 | + (>= 2.0.0) |
| 80 | + :with-test)) |
| 81 | + (alcotest |
| 82 | + (and |
| 83 | + (>= 1.7.0) |
| 84 | + :with-test)) |
| 85 | + (mdx |
| 86 | + (and |
| 87 | + (>= 2.3.0) |
| 88 | + :with-test)) |
| 89 | + (yojson |
| 90 | + (and |
| 91 | + (>= 2.1.0) |
| 92 | + :with-test)) |
| 93 | + (odoc |
| 94 | + (and |
| 95 | + (>= 2.2.0) |
| 96 | + :with-doc)))) |
0 commit comments