forked from dautonomous/scilla
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathpackage.json
More file actions
61 lines (61 loc) · 1.79 KB
/
package.json
File metadata and controls
61 lines (61 loc) · 1.79 KB
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
{
"name": "scilla",
"version": "0",
"description": "Scilla: Safe-By-Design Smart Contract Language",
"license": "GPL-3.0-only",
"esy": {
"build": [
"./scripts/libff.sh",
"dune build -p #{self.name}"
]
},
"scripts": {
"test": "make test",
"gold": "make gold",
"fmt": "make fmt"
},
"dependencies": {
"@opam/angstrom": ">=0.11.0 <0.15.0",
"@opam/bisect_ppx": ">=2.0.0 <2.5.0",
"@opam/bitstring": ">=3.1.0 <3.2.0",
"@opam/conf-boost": "*",
"@opam/conf-cmake": "*",
"@opam/conf-gcc": "*",
"@opam/conf-gmp": "*",
"@opam/conf-g++": "*",
"@opam/conf-libffi": "*",
"@opam/conf-libpcre": "*",
"@opam/conf-m4": "*",
"@opam/conf-openssl": "*",
"@opam/conf-pkg-config": "*",
"@opam/conf-secp256k1": "*",
"@opam/conf-zlib": "*",
"@opam/core": ">=v0.14.0 <v0.15.0",
"@opam/dune": ">=2.0",
"@opam/cryptokit": ">=1.13 <1.15.0",
"@opam/ctypes": ">=0.14.0 <0.18.0",
"@opam/ctypes-foreign": ">=0.4.0 <0.5.0",
"@opam/fileutils": ">=0.5.3 <0.7.0",
"@opam/hex": ">=1.3.0 <1.5.0",
"@opam/menhir": "*",
"ocaml": ">=4.08.0 <4.13.0",
"@opam/ocaml-protoc": ">=1.2.0 <2.1.0",
"@opam/ounit": ">=2.0.8 <2.3.0",
"@opam/patdiff": ">=v0.14.0 <v0.15.0",
"@opam/ppx_deriving": ">=4.2.1 <4.6.0",
"@opam/ppx_sexp_conv": ">=v0.14.0 <v0.15.0",
"@opam/ppx_compare": ">=v0.14.0 <v0.15.0",
"@opam/ppx_deriving_rpc": ">=6.0.0 <8.0.0",
"@opam/secp256k1": ">=0.4.0 <0.5.0",
"@opam/stdint": ">=0.5.1 <0.7.0",
"@opam/yojson": ">=1.7.0 <1.8.0"
},
"devDependencies": {
"@opam/merlin": "*",
"@opam/ocamlformat": "0.18.0",
"@opam/ocaml-lsp-server": "ocaml/ocaml-lsp:ocaml-lsp-server.opam",
"@opam/ocp-indent": "*",
"@opam/utop": "*",
"ocaml": ">=4.08.0 <4.13.0"
}
}