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
|
{ stdenv
, lib
, fetchFromGitLab
, git
, coq
, ocamlPackages
, cacert
, ocaml-crunch
, jq
, mustache-go
, yaml2json
, tezos-rust-libs
, darwin
}:
ocamlPackages.buildDunePackage rec {
pname = "ligo";
version = "1.7.1";
src = fetchFromGitLab {
owner = "ligolang";
repo = "ligo";
rev = version;
hash = "sha256-pBoLgS/9MLMrc98niI+o2JoJ3gpvhyRY2o9GmVc5hIA=";
fetchSubmodules = true;
};
patches = [ ./make-compatible-with-linol-0_6.patch ];
# The build picks this up for ligo --version
LIGO_VERSION = version;
# This is a hack to work around the hack used in the dune files
OPAM_SWITCH_PREFIX = "${tezos-rust-libs}";
nativeBuildInputs = [
ocaml-crunch
git
coq
ocamlPackages.crunch
ocamlPackages.menhir
ocamlPackages.ocaml-recovery-parser
# deps for changelog
jq
mustache-go
yaml2json
];
buildInputs = with ocamlPackages; [
coq
menhir
menhirLib
qcheck
ocamlgraph
bisect_ppx
decompress
fileutils
ppx_deriving
ppx_deriving_yojson
ppx_yojson_conv
ppx_expect
ppx_import
terminal_size
ocaml-recovery-parser
yojson
getopt
core
core_unix
pprint
linenoise
crunch
semver
lambda-term
tar-unix
parse-argv
hacl-star
prometheus
lwt_ppx
msgpck
# lsp
linol
linol-lwt
ocaml-lsp
# Test helpers deps
qcheck
qcheck-alcotest
alcotest-lwt
# vendored tezos' deps
aches
aches-lwt
ctypes
ctypes_stubs_js
class_group_vdf
dune-configurator
hacl-star
hacl-star-raw
lwt-canceler
ipaddr
bls12-381
bls12-381-signature
ptime
mtime
lwt_log
secp256k1-internal
resto
resto-directory
resto-cohttp-self-serving-client
irmin-pack
ezjsonm
data-encoding
pure-splitmix
zarith_stubs_js
simple-diff
seqes
stdint
tezt
] ++ lib.optionals stdenv.isDarwin [
darwin.apple_sdk.frameworks.Security
];
nativeCheckInputs = [
cacert
ocamlPackages.ca-certs
];
doCheck = false; # Tests fail, but could not determine the reason
meta = with lib; {
homepage = "https://ligolang.org/";
downloadPage = "https://ligolang.org/docs/intro/installation";
description = "Friendly Smart Contract Language for Tezos";
mainProgram = "ligo";
license = licenses.mit;
platforms = ocamlPackages.ocaml.meta.platforms;
maintainers = with maintainers; [ ulrikstrid ];
};
}
|
