diff options
author | Ulrik Strid <ulrik.strid@outlook.com> | 2021-09-21 09:11:20 +0000 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2021-10-15 18:48:43 +0200 |
commit | cbf28fa8c482f4e7add90532b18761b49771cf99 (patch) | |
tree | e68ff41d2d4da38ec8177b39a92719f24b9c3d53 /pkgs/development/compilers/ligo/default.nix | |
parent | e673b894c5d33e793e84fb4a0e16889bef80ba1a (diff) | |
download | nixpkgs-cbf28fa8c482f4e7add90532b18761b49771cf99.tar nixpkgs-cbf28fa8c482f4e7add90532b18761b49771cf99.tar.gz nixpkgs-cbf28fa8c482f4e7add90532b18761b49771cf99.tar.bz2 nixpkgs-cbf28fa8c482f4e7add90532b18761b49771cf99.tar.lz nixpkgs-cbf28fa8c482f4e7add90532b18761b49771cf99.tar.xz nixpkgs-cbf28fa8c482f4e7add90532b18761b49771cf99.tar.zst nixpkgs-cbf28fa8c482f4e7add90532b18761b49771cf99.zip |
ligo: init at 0.26
Diffstat (limited to 'pkgs/development/compilers/ligo/default.nix')
-rw-r--r-- | pkgs/development/compilers/ligo/default.nix | 62 |
1 files changed, 62 insertions, 0 deletions
diff --git a/pkgs/development/compilers/ligo/default.nix b/pkgs/development/compilers/ligo/default.nix new file mode 100644 index 00000000000..f9b8020c924 --- /dev/null +++ b/pkgs/development/compilers/ligo/default.nix @@ -0,0 +1,62 @@ +{ lib +, fetchFromGitLab +, coq +, cacert +}: + +coq.ocamlPackages.buildDunePackage rec { + pname = "ligo"; + version = "0.26.0"; + src = fetchFromGitLab { + owner = "ligolang"; + repo = "ligo"; + rev = "d48098c6724bc0a62170c2f9ff73c792c71c8452"; + sha256 = "sha256-uu5985llYsi/9ExKZetk48FqU0sJQB1EirdT/pUw0DA="; + }; + + # The build picks this up for ligo --version + LIGO_VERSION=version; + + useDune2 = true; + + buildInputs = with coq.ocamlPackages; [ + coq + menhir + menhirLib + qcheck + ocamlgraph + ppx_deriving + ppx_deriving_yojson + ppx_expect + tezos-base + tezos-shell-services + tezos-010-PtGRANAD-test-helpers + tezos-protocol-010-PtGRANAD-parameters + tezos-protocol-010-PtGRANAD + tezos-protocol-environment + yojson + getopt + terminal_size + pprint + linenoise + data-encoding + bisect_ppx + cmdliner + ]; + + checkInputs = [ + cacert + coq.ocamlPackages.ca-certs + ]; + + doCheck = true; + + meta = with lib; { + homepage = "https://ligolang.org/"; + downloadPage = "https://ligolang.org/docs/intro/installation"; + description = "A friendly Smart Contract Language for Tezos"; + license = licenses.mit; + platforms = [ "x86_64-linux" ]; + maintainers = with maintainers; [ ulrikstrid ]; + }; +} |