public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

cedille: Apply patch which unbreaks the options file

Browse Source 
See https://github.com/cedille/cedille/issues/29
This commit is contained in:
Matthew Pickering 2018-10-22 08:42:01 +00:00
parent 9e348b4613
commit f7d4bc2c71
1 changed files with 11 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
pkgs/applications/science/logic/cedille/default.nix
View File

@ -1,5 +1,13 @@
{ stdenv, lib, fetchFromGitHub, alex, happy, Agda, agdaIowaStdlib, { 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 { stdenv.mkDerivation rec {
version = "1.0.0"; version = "1.0.0";
name = "cedille-${version}"; name = "cedille-${version}";
@ -11,6 +19,8 @@ stdenv.mkDerivation rec {
}; };
buildInputs = [ alex happy Agda (ghcWithPackages (ps: [ps.ieee])) ]; buildInputs = [ alex happy Agda (ghcWithPackages (ps: [ps.ieee])) ];
patches = [options-patch];
LANG = "en_US.UTF-8"; LANG = "en_US.UTF-8";
LOCALE_ARCHIVE = LOCALE_ARCHIVE =
lib.optionalString (buildPlatform.libc == "glibc") lib.optionalString (buildPlatform.libc == "glibc")