From b0bdf778bd113fec202f5ee4ab32a53d8f608b36 Mon Sep 17 00:00:00 2001 From: Peter Simons Date: Fri, 16 Feb 2018 08:41:55 +0100 Subject: [PATCH] liquidhaskell: drop obsolete patches --- .../haskell-modules/configuration-common.nix | 12 ------------ 1 file changed, 12 deletions(-) diff --git a/pkgs/development/haskell-modules/configuration-common.nix b/pkgs/development/haskell-modules/configuration-common.nix index 856fe60555a..e944bf9c3d3 100644 --- a/pkgs/development/haskell-modules/configuration-common.nix +++ b/pkgs/development/haskell-modules/configuration-common.nix @@ -1000,18 +1000,6 @@ self: super: { ''; }); - # Add a flag to enable building against GHC with D4388 applied (the - # deterministic profiling symbols patch). The flag is disabled by - # default, so we can apply this patch globally. - # - # https://github.com/ucsd-progsys/liquidhaskell/pull/1233 - liquidhaskell = - let patch = pkgs.fetchpatch - { url = https://github.com/ucsd-progsys/liquidhaskell/commit/1aeef1871760b2be46cc1cabd51311997d1d0bc0.patch; - sha256 = "0i55n6p3x9as648as0lvxy2alqb1n7c10xv9gp15cvq7zx6c8ydg"; - }; - in appendPatch super.liquidhaskell patch; - # https://github.com/nick8325/twee/pull/1 twee-lib = dontHaddock super.twee-lib;