-
Notifications
You must be signed in to change notification settings - Fork 0
/
dune-project
49 lines (45 loc) · 1.11 KB
/
dune-project
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
49
(lang dune 2.7)
(generate_opam_files true)
(license MIT)
(homepage "https://github.com/imandra-ai/catapult")
(authors "[email protected]")
(maintainers "[email protected]")
(source (github imandra-ai/catapult))
(version 0.2)
(name catapult)
(package
(name catapult)
(synopsis "Tracing system based on the Catapult/TEF format")
(depopts
mtime)
(depends
base-threads
(trace (>= 0.4))
(odoc :with-doc)
(ocaml (>= "4.08"))))
(package
(name catapult-sqlite)
(synopsis "Sqlite-based backend for Catapult tracing")
(depends
(sqlite3 (>= "5.0"))
directories
(catapult (= :version))
(odoc :with-doc)
(ocaml (>= "4.08"))))
(package
(name catapult-client)
(synopsis "Network client for catapult, to be paired with catapult-daemon")
(depends
(catapult (= :version))
(odoc :with-doc)
(zmq (>= "5.0"))
(ocaml (>= "4.08"))))
(package
(name catapult-daemon)
(synopsis "Daemon for reliable multi-process logging with catapult")
(depends
(odoc :with-doc)
(catapult (= :version))
(catapult-sqlite (= :version))
(zmq (>= "5.0"))
(logs (>= "0.7"))))