diff --git a/pkgs/applications/science/logic/cedille/default.nix b/pkgs/applications/science/logic/cedille/default.nix
index 5b99a47bb415..0817ebe0654b 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")
@@ -22,9 +32,12 @@ stdenv.mkDerivation rec {
     chmod -R 755 ial
   '';
 
+  outputs = ["out" "lib"];
+
   installPhase = ''
     mkdir -p $out/bin
     mv cedille $out/bin/cedille
+    mv lib $lib
   '';
 
   meta = {