-
Notifications
You must be signed in to change notification settings - Fork 0
/
dune-project
73 lines (61 loc) · 1.25 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
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
(lang dune 2.8)
(name ovenMPST)
; (cram enable)
(using menhir 2.0)
(generate_opam_files true)
(source
(github nuscr/oven))
(license GPL-3.0-or-later)
(authors "Francisco Ferreira, Sung-Shik Jongmans")
(maintainers "Francisco Ferreira")
; (homepage "https://...")
; (documentation "https://...")
(package
(name ovenMPST)
(synopsis
"A tool to manipulate and validate MPST protocols with flexible interleavings.")
(description
"A tool to manipulate and validate MPST protocols supporting mixed choice.")
(depends
(ocaml
(>= 4.08))
(menhir
(>= 20190924))
; (ppx_deriving
; (>= 5.2))
dune
; (base
; (>= v0.12.0))
; (stdio
; (>= v0.12.0))
; (ppx_sexp_conv
; (>= v0.12.0))
; (ppx_here
; (>= v0.12.0))
; (z3 :with-test)
; (odoc :with-doc)
(ocamlgraph
(>= 1.8.8))
; (ppxlib
; (>= 0.22.0))
; (cmdliner
; (>= 1.1.0))
; (process
; (>= 0.2.1))
))
(package
(name ovenIDE)
(synopsis
"A web tool to manipulate and validate Synthetic MPST protocols.")
(description
"A web tool to manipulate and validate Synthetic MPST protocols supporting mixed choice.")
(depends
; (nuscr
; (= :version))
dune
(js_of_ocaml
(>= 3.5.0))
(js_of_ocaml-ppx
(>= 3.5.0))
(js_of_ocaml-tyxml
(>= 3.5.0))))