diff --git a/dhall/default.nix b/dhall/default.nix index d8a0eed..7f300b1 100644 --- a/dhall/default.nix +++ b/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 { }; } diff --git a/dhall/prelude-11.0.0.nix b/dhall/prelude-11.0.0.nix new file mode 100644 index 0000000..6138e9e --- /dev/null +++ b/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 ]; + }; +}