path: root/pkgs/development/compilers/ligo/default.nix

{ 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 ];
  };
}