diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2022-05-23 22:05:53 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2022-05-29 14:57:07 +0200 |
| commit | ff74ad6db307c1045c98eb5b183e9348c68cd42a (patch) | |
| tree | 6bdacf226cc0bb55fe4b80651af05fe29a1b5dea /pkgs/development/ocaml-modules/cooltt | |
| parent | a1e9a866e1cfa5ae02fdf52b2799c185ce24b0f8 (diff) | |
ocamlPackages.cooltt: unstable-2021-05-25 → unstable-2022-04-28
Diffstat (limited to 'pkgs/development/ocaml-modules/cooltt')
| -rw-r--r-- | pkgs/development/ocaml-modules/cooltt/default.nix | 67 |
1 files changed, 59 insertions, 8 deletions
diff --git a/pkgs/development/ocaml-modules/cooltt/default.nix b/pkgs/development/ocaml-modules/cooltt/default.nix index 2ece4543c2a70..2dca1a05a214f 100644 --- a/pkgs/development/ocaml-modules/cooltt/default.nix +++ b/pkgs/development/ocaml-modules/cooltt/default.nix @@ -1,41 +1,92 @@ { lib , fetchFromGitHub +, fetchurl , buildDunePackage -, cmdliner +, bwd +, cmdliner_1_1 +, containers +, ezjsonm , menhir , menhirLib , ppx_deriving , ppxlib , uuseg , uutf +, yuujinchou }: +let + bantorra = buildDunePackage rec { + pname = "bantorra"; + version = "unstable-2022-04-20"; + src = fetchFromGitHub { + owner = "RedPRL"; + repo = "bantorra"; + rev = "1e78633d9a2ef7104552a24585bb8bea36d4117b"; + sha256 = "sha256:15v1cggm7awp11iwl3lzpaar91jzivhdxggp5mr48gd28kfipzk2"; + }; + + propagatedBuildInputs = [ ezjsonm ]; + + meta = { + description = "Extensible Library Management and Path Resolution"; + homepage = "https://github.com/RedPRL/bantorra"; + license = lib.licenses.asl20; + }; + }; + kado = buildDunePackage rec { + pname = "kado"; + version = "unstable-2022-04-30"; + src = fetchFromGitHub { + owner = "RedPRL"; + repo = "kado"; + rev = "8dce50e7d759d482b82565090e550d3860d64729"; + sha256 = "sha256:1xb754fha4s0bgjfqjxzqljvalmkfdwdn5y4ycsp51wiah235bsy"; + }; + + propagatedBuildInputs = [ bwd ]; + + doCheck = true; + + meta = { + description = "Cofibrations in Cartecian Cubical Type Theory"; + homepage = "https://github.com/RedPRL/kado"; + license = lib.licenses.asl20; + }; + }; +in + buildDunePackage { pname = "cooltt"; - version = "unstable-2021-05-25"; + version = "unstable-2022-04-28"; - minimumOCamlVersion = "4.10"; - - useDune2 = true; + minimalOCamlVersion = "4.13"; src = fetchFromGitHub { owner = "RedPRL"; repo = "cooltt"; - rev = "8ac06cbf7e05417d777f3ac6a471fe3576249f79"; - sha256 = "sha256-JBLNJaRuP/gwlg8RS3cpOpzxChOVKfmFulf5HKhhHh4="; + rev = "88511e10cb9e17286f585882dee334f3d8ace47c"; + sha256 = "sha256:1n9bh86r2n9s3mm7ayfzwjbnjqcphpsf8yqnf4whd3yi930sqisw"; }; nativeBuildInputs = [ - cmdliner + cmdliner_1_1 menhir ppxlib ]; + buildInputs = [ containers ]; + propagatedBuildInputs = [ + bantorra + bwd + ezjsonm + kado menhirLib ppx_deriving uuseg uutf + yuujinchou ]; meta = with lib; { |