-
-
Notifications
You must be signed in to change notification settings - Fork 0
/
dune-project
232 lines (213 loc) · 5.05 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
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
(lang dune 3.0)
(formatting (enabled_for ocaml))
(wrapped_executables false)
(name weevil)
(version "0.1.3") ; TODO should same as Utilities.Defaults._VERSION
(generate_opam_files true)
(source
(github KaroshiBee/weevil))
(authors "Simon Parry")
(maintainers "simon.parry@karoshibee.com")
(license MIT)
(documentation "https://github.com/KaroshiBee/weevil")
(package
(name weevil_dapper)
(synopsis "Tezos: `weevil dapper` binary - an implementation of the Debug Adapter Protocol in OCaml")
(description "Supporting tooling for the Tezos weevil.")
(allow_empty)
(depends
ocaml
dune
cmdliner
conduit-lwt-unix
lwt_ppx
ppx_expect
ppx_deriving_qcheck
qcheck-alcotest
bisect_ppx)
(tags
(tezos octez weevil ocaml)))
(package
(name weevil_mdb)
(synopsis "Tezos: `weevil_mdb` binary - a tool for debugging Michelson code")
(description "Supporting tool for the main Weevil debugger")
(allow_empty)
(depends
ocaml
dune
cmdliner
tezos-base
tezos-client-base-unix
tezos-micheline
tezos-stdlib-unix
tezos-rpc-http-client-unix
conduit-lwt-unix
weevil_dapper
lwt_ppx
ppx_expect
ppx_deriving_qcheck
qcheck-alcotest
bisect_ppx)
(tags
(tezos octez weevil ocaml)))
(package
(name weevil_mdb_016)
(synopsis "Tezos: `weevil_mdb_016` binary - a tool for debugging Michelson code")
(description "Supporting tool for the main Weevil debugger")
(depends
ocaml
dune
cmdliner
tezos-base
tezos-micheline
tezos-protocol-016-PtMumbai
tezos-client-016-PtMumbai
tezos-protocol-plugin-016-PtMumbai
conduit-lwt-unix
weevil_dapper
weevil_mdb
lwt_ppx
ppx_expect
ppx_deriving_qcheck
qcheck-alcotest
bisect_ppx)
(tags
(tezos octez weevil ocaml)))
(package
(name weevil_mdb_015)
(synopsis "Tezos: `weevil_mdb_015` binary - a tool for debugging Michelson code")
(description "Supporting tool for the main Weevil debugger")
(depends
ocaml
dune
cmdliner
tezos-base
tezos-micheline
tezos-protocol-015-PtLimaPt
tezos-client-015-PtLimaPt
tezos-protocol-plugin-015-PtLimaPt
conduit-lwt-unix
weevil_dapper
weevil_mdb
lwt_ppx
ppx_expect
ppx_deriving_qcheck
qcheck-alcotest
bisect_ppx)
(tags
(tezos octez weevil ocaml)))
(package
(name weevil_mdb_014)
(synopsis "Tezos: `weevil_mdb_014` binary - a tool for debugging Michelson code")
(description "Supporting tool for the main Weevil debugger")
(depends
ocaml
dune
cmdliner
tezos-base
tezos-micheline
tezos-protocol-014-PtKathma
tezos-client-014-PtKathma
tezos-protocol-plugin-014-PtKathma
conduit-lwt-unix
weevil_dapper
weevil_mdb
lwt_ppx
ppx_expect
ppx_deriving_qcheck
qcheck-alcotest
bisect_ppx)
(tags
(tezos octez weevil ocaml)))
(package
(name weevil_mdb_013)
(synopsis "Tezos: `weevil_mdb_013` binary - a tool for debugging Michelson code")
(description "Supporting tool for the main Weevil debugger")
(depends
ocaml
dune
cmdliner
tezos-base
tezos-micheline
tezos-protocol-013-PtJakart
tezos-client-013-PtJakart
tezos-protocol-plugin-013-PtJakart
conduit-lwt-unix
weevil_dapper
weevil_mdb
lwt_ppx
ppx_expect
ppx_deriving_qcheck
qcheck-alcotest
bisect_ppx)
(tags
(tezos octez weevil ocaml)))
(package
(name weevil_mdb_012)
(synopsis "Tezos: `weevil_mdb_012` binary - a tool for debugging Michelson code")
(description "Supporting tool for the main Weevil debugger")
(depends
ocaml
dune
cmdliner
tezos-base
tezos-micheline
tezos-protocol-012-Psithaca
tezos-client-012-Psithaca
tezos-protocol-plugin-012-Psithaca
conduit-lwt-unix
weevil_dapper
weevil_mdb
lwt_ppx
ppx_expect
ppx_deriving_qcheck
qcheck-alcotest
bisect_ppx)
(tags
(tezos octez weevil ocaml)))
(package
(name weevil_mdb_011)
(synopsis "Tezos: `weevil_mdb_011` binary - a tool for debugging Michelson code")
(description "Supporting tool for the main Weevil debugger")
(depends
ocaml
dune
cmdliner
tezos-base
tezos-micheline
tezos-protocol-011-PtHangz2
tezos-client-011-PtHangz2
tezos-protocol-plugin-011-PtHangz2
conduit-lwt-unix
weevil_dapper
weevil_mdb
lwt_ppx
ppx_expect
ppx_deriving_qcheck
qcheck-alcotest
bisect_ppx)
(tags
(tezos octez weevil ocaml)))
;; NOTE we only go back as far as 011 because Tezos mockups are not registered in the codebase until 011.
;; history, mockups were announced in Dec 2020, so the earliest version that *could* have them would be
;; Florence - 009, however Florence and Granada - 010 do not register a mockup mode so they cannot be used
;; in the Weevil
(package
(name weevil)
(synopsis "Tezos: `weevil` binary - a tool for debugging Michelson code")
(description "Tooling for debugging Michelson smart contracts")
(depends
ocaml
dune
cmdliner
conduit-lwt-unix
weevil_dapper
weevil_mdb
lwt_ppx
ppx_expect
ppx_deriving_qcheck
qcheck-alcotest
bisect_ppx)
(tags
(tezos octez weevil ocaml)))
; See the complete stanza docs at https://dune.readthedocs.io/en/stable/dune-files.html#dune-project