2
0
Fork 0
Browse Source

Update Dhall prelude to 11.0.0

20.02
Emery Hemingway 3 years ago
parent
commit
811692aa7b
  1. 3
      dhall/default.nix
  2. 27
      dhall/prelude-11.0.0.nix

3
dhall/default.nix

@ -5,7 +5,8 @@
{ callPackage }:
rec {
prelude = prelude_9_0_0;
prelude = prelude_11_0_0;
prelude_11_0_0 = callPackage ./prelude-11.0.0.nix { };
prelude_9_0_0 = callPackage ./prelude-9.0.0.nix { };
genode = callPackage ./genode.nix { };
}

27
dhall/prelude-11.0.0.nix

@ -0,0 +1,27 @@
# SPDX-FileCopyrightText: Emery Hemingway
#
# SPDX-License-Identifier: LicenseRef-Hippocratic-1.1
{ stdenvNoCC, lib, fetchgit }:
stdenvNoCC.mkDerivation {
name = "dhall-prelude";
version = " 11.0.0";
src = fetchgit {
url = "https://github.com/dhall-lang/dhall-lang";
rev = "8098184d17c3aecc82674a7b874077a7641be05a";
sha256 = "0rdvyxq7mvas82wsfzzpk6imzm8ax4q58l522mx0ks69pacpr3yi";
};
phases = [ "unpackPhase" "installPhase" ];
installPhase = ''
cp -r Prelude $out
'';
meta = {
license = lib.licenses.bsd3;
maintainers = with lib.maintainers; [ ehmry ];
};
}
Loading…
Cancel
Save