-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathligo.opam
115 lines (115 loc) · 2.89 KB
/
ligo.opam
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
# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
synopsis: "A high-level language which compiles to Michelson"
maintainer: [
"LigoLang <[email protected]>" "TriliTech <[email protected]>"
]
authors: ["Gabriel Alfour" "Christian Rinderknecht"]
license: "MIT"
homepage: "https://ligolang.org"
bug-reports: "https://gitlab.com/ligolang/ligo/issues"
depends: [
"core" {>= "v0.16.0"}
"core_unix" {>= "v0.16.0"}
"core_kernel" {>= "v0.16.0"}
"ocamlgraph"
"menhir" {= "20230608"}
"bos"
"qcheck"
"terminal_size"
"pprint"
"yojson"
"semver"
"uri"
"tls"
"decompress"
"tar" {= "2.6.0"}
"tar-unix" {= "2.6.0"}
"lambda-term"
"parse-argv"
"msgpck"
"bin_prot" {>= "v0.16.0"}
"ppx_bin_prot" {>= "v0.16.0"}
"ppx_deriving"
"ppx_deriving_yojson"
"ppx_yojson_conv"
"ppx_import"
"asetmap" {= "0.8.1"}
"prometheus" {>= "1.2"}
"lwt" {= "5.7.0"}
"lwt_ppx"
"bisect_ppx" {>= "2.3.0"}
"irmin"
"cmdliner" {= "1.1.0"}
"ocaml-compiler-libs"
"simple-diff"
"stdint"
"ocaml-migrate-parsetree" {= "2.3.0"}
"alcotest-lwt"
"qcheck-alcotest"
"irmin-pack"
"pure-splitmix"
"crunch"
"class_group_vdf"
"hex"
"lwt-canceler"
"lwt-exit"
"logs"
"cohttp"
"conduit-lwt-unix"
"magic-mime"
"seqes"
"ctypes_stubs_js"
"ctypes"
"ctypes-foreign"
"hacl-star-raw"
"hacl-star"
"secp256k1-internal"
"mtime" {>= "2.0.0"}
"zarith" {= "1.13"}
"tezt" {>= "4.0.0" & < "5.0.0"}
"ocamlformat" {= "0.21.0"}
"ocamlformat-rpc" {= "0.21.0"}
"ocaml-lsp-server" {>= "1.14.0"}
"lsp" {>= "1.17" & < "1.18"}
"aches-lwt"
"fileutils"
"conduit" {= "6.1.0"}
"ocaml-recovery-parser" {= "0.2.4"}
"linol" {= "0.5"}
"linol-lwt" {= "0.5"}
"grace"
"dune" {>= "3.8" & "3.8" >= build}
"coq" {>= "8.12" & < "8.14" & build}
"alcotest" {with-test}
"ppx_expect" {with-test}
"ppx_inline_test" {with-test}
"odoc" {with-test}
"ocamlformat" {"0.21.0" = dev}
"ocaml-lsp-server" {"1.14.0" >= dev}
"ocamlformat-rpc" {"0.21.0" = dev}
"odoc" {with-doc}
]
build: [
["dune" "subst"] {dev}
[
"dune"
"build"
"-p"
name
"-j"
jobs
"@install"
"@runtest" {with-test}
"@doc" {with-doc}
]
]
dev-repo: "git+https://gitlab.com/ligolang/ligo.git"
pin-depends: [
[ "ocaml-recovery-parser.0.2.4" "git+https://github.com/serokell/ocaml-recovery-parser.git#e05c872d1a0e8074940d995b57556121eddbf0f2" ]
[ "linol.0.5" "git+https://github.com/c-cube/linol.git#7730eabf98f657059920369b41d43e657a231ed5" ]
[ "linol-lwt.0.5" "git+https://github.com/c-cube/linol.git#7730eabf98f657059920369b41d43e657a231ed5" ]
[ "landmarks.1.4" "git+https://github.com/LexiFi/landmarks.git#b0c753cd2a4c4aa00dffdd3be187d8ed592fabf7" ]
[ "landmarks-ppx.1.4" "git+https://github.com/LexiFi/landmarks.git#b0c753cd2a4c4aa00dffdd3be187d8ed592fabf7" ]
[ "grace.0.2.0" "git+https://github.com/johnyob/grace.git#d15a6d7d07a2551d1a9934fa79c2cf84c918f990" ]
]