From f7d4bc2c7147755d764c792af6f51bc2ffdb71dc Mon Sep 17 00:00:00 2001
From: Matthew Pickering <matthewtpickering@gmail.com>
Date: Mon, 22 Oct 2018 08:42:01 +0000
Subject: [PATCH] cedille: Apply patch which unbreaks the options file

See https://github.com/cedille/cedille/issues/29
---
 pkgs/applications/science/logic/cedille/default.nix | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/pkgs/applications/science/logic/cedille/default.nix b/pkgs/applications/science/logic/cedille/default.nix
index 5b99a47bb41..b3055688d23 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")