pyrox.dev
ligo: init at 0.26
authored by
Ulrik Strid
and committed by
Vincent Laporte
cbf28fa8
e673b894
+62
pkgs/development/compilers/ligo/default.nix
+62
pkgs/development/compilers/ligo/default.nix
···
1
+
{ lib
2
+
, fetchFromGitLab
3
+
, coq
4
+
, cacert
5
+
}:
6
+
7
+
coq.ocamlPackages.buildDunePackage rec {
8
+
pname = "ligo";
9
+
version = "0.26.0";
10
+
src = fetchFromGitLab {
11
+
owner = "ligolang";
12
+
repo = "ligo";
13
+
rev = "d48098c6724bc0a62170c2f9ff73c792c71c8452";
14
+
sha256 = "sha256-uu5985llYsi/9ExKZetk48FqU0sJQB1EirdT/pUw0DA=";
15
+
};
16
+
17
+
# The build picks this up for ligo --version
18
+
LIGO_VERSION=version;
19
+
20
+
useDune2 = true;
21
+
22
+
buildInputs = with coq.ocamlPackages; [
23
+
coq
24
+
menhir
25
+
menhirLib
26
+
qcheck
27
+
ocamlgraph
28
+
ppx_deriving
29
+
ppx_deriving_yojson
30
+
ppx_expect
31
+
tezos-base
32
+
tezos-shell-services
33
+
tezos-010-PtGRANAD-test-helpers
34
+
tezos-protocol-010-PtGRANAD-parameters
35
+
tezos-protocol-010-PtGRANAD
36
+
tezos-protocol-environment
37
+
yojson
38
+
getopt
39
+
terminal_size
40
+
pprint
41
+
linenoise
42
+
data-encoding
43
+
bisect_ppx
44
+
cmdliner
45
+
];
46
+
47
+
checkInputs = [
48
+
cacert
49
+
coq.ocamlPackages.ca-certs
50
+
];
51
+
52
+
doCheck = true;
53
+
54
+
meta = with lib; {
55
+
homepage = "https://ligolang.org/";
56
+
downloadPage = "https://ligolang.org/docs/intro/installation";
57
+
description = "A friendly Smart Contract Language for Tezos";
58
+
license = licenses.mit;
59
+
platforms = [ "x86_64-linux" ];
60
+
maintainers = with maintainers; [ ulrikstrid ];
61
+
};
62
+
}
+2
pkgs/top-level/all-packages.nix
+2
pkgs/top-level/all-packages.nix