diff options
author | Matthew Pickering <matthewtpickering@gmail.com> | 2018-10-22 08:42:01 +0000 |
---|---|---|
committer | Matthew Pickering <matthewtpickering@gmail.com> | 2018-10-22 08:42:01 +0000 |
commit | f7d4bc2c7147755d764c792af6f51bc2ffdb71dc (patch) | |
tree | 0dfd9a75c4cddc186a7531df54d5e21b0070a7aa /pkgs/applications/science/logic/cedille | |
parent | 9e348b4613c734d114e85ec40b72119a3c5ffd4f (diff) |
cedille: Apply patch which unbreaks the options file
See https://github.com/cedille/cedille/issues/29
Diffstat (limited to 'pkgs/applications/science/logic/cedille')
-rw-r--r-- | pkgs/applications/science/logic/cedille/default.nix | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/cedille/default.nix b/pkgs/applications/science/logic/cedille/default.nix index 5b99a47bb4150..b3055688d236e 100644 --- a/pkgs/applications/science/logic/cedille/default.nix +++ b/pkgs/applications/science/logic/cedille/default.nix @@ -1,5 +1,13 @@ { stdenv, lib, fetchFromGitHub, alex, happy, Agda, agdaIowaStdlib, - buildPlatform, buildPackages, ghcWithPackages }: + buildPlatform, buildPackages, ghcWithPackages, fetchpatch }: +let + options-patch = + fetchpatch { + url = https://github.com/cedille/cedille/commit/ee62b0fabde6c4f7299a3778868519255cc4a64f.patch; + name = "options.patch"; + sha256 = "19xzn9sqpfnfqikqy1x9lb9mb6722kbgvrapl6cf8ckcw8cfj8cz"; + }; +in stdenv.mkDerivation rec { version = "1.0.0"; name = "cedille-${version}"; @@ -11,6 +19,8 @@ stdenv.mkDerivation rec { }; buildInputs = [ alex happy Agda (ghcWithPackages (ps: [ps.ieee])) ]; + patches = [options-patch]; + LANG = "en_US.UTF-8"; LOCALE_ARCHIVE = lib.optionalString (buildPlatform.libc == "glibc") |