nixpkgs/pkgs/development/compilers/ligo/default.nix
José Romildo Malaquias 0522e55f99
ocamlPackages.ppxlib: 0.23.0 -> 0.24.0 (#154901)
* ocamlPackages.ppxlib: 0.23.0 -> 0.24.0

* ocamlPackages.bls12-381{,-unix}: 0.4.2 -> 1.1.0

- Update to version 1.1.0
- Use the same revision tag used in the opam repository, as the release tarbal seems to be unavailable
- Does not depend on bls12-381-gen and rust anymore

* ocamlPackages.bls12-381-{gen: 0.4.2 -> 0.4.4,legacy: init at 0.4.4}

- Update bls12-381-gen to version 0.4.4
- Add new package bls12-381-legacy

* ocamlPackages.tezos-*: 10.2 -> 11.0

- Update tezos to version 11.0
- Add new packages:
    tezos-base-test-helpers
    tezos-embedded-protocol-demo-noops
    tezos-event-logging-test-helpers
    tezos-protocol-alpha
    tezos-protocol-demo-noops
    tezos-protocol-plugin-alpha
    tezos-protocol-demo-noops
    tezos-protocol-plugin-alpha
    tezos-shell-services-test-helpers
- Remove old package:
    tezos-test-services

* ocamlPackages.repr: 0.4.0 -> 0.5.0

* ocamlPackages.hacl-star-raw: 0.3.2 -> 0.4.5

* ocamlPackages.arp: 2.3.2 -> 3.0.0

* ocamlPackages.index: 1.4.1 -> 1.5.0

* ocamlPackages.digestif: 1.0.0 -> 1.1.0

* ocamlPackages.ethernet: 2.2.0 -> 3.0.0

* ocamlPackages.httpaf: 0.6.6 -> 0.7.1

* ocamlPackages.mirage-nat: 2.2.3 -> 2.2.5

* ocamlPackages.tcpip: 6.2.0 -> 7.0.1

* ocamlPackages.paf: 0.0.6 -> 0.0.8

* ocamlPackages.ppx_irmin: 2.7.2 -> 2.9.1

* ocamlPackages.tezos-*: add missing packages, needed by ligo-0.34

* ocamlPackages.ocaml-recovery-parser: init at 0.2.2

* ligo: 0.27.0 -> 0.34.0
2022-01-23 21:24:16 +01:00

66 lines
1.3 KiB
Nix

{ lib
, fetchFromGitLab
, coq
, cacert
}:
coq.ocamlPackages.buildDunePackage rec {
pname = "ligo";
version = "0.34.0";
src = fetchFromGitLab {
owner = "ligolang";
repo = "ligo";
rev = version;
sha256 = "sha256-MHkIr+XkW/zrRt+Cg48q4fOWTkNGH0hbf+oU7cAivNE=";
};
# 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-011-PtHangz2-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
core
ocaml-recovery-parser
];
checkInputs = [
cacert
coq.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 = "A friendly Smart Contract Language for Tezos";
license = licenses.mit;
platforms = [ "x86_64-linux" ];
maintainers = with maintainers; [ ulrikstrid ];
};
}