diff options
| -rw-r--r-- | pkgs/development/haskell-modules/configuration-common.nix | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/pkgs/development/haskell-modules/configuration-common.nix b/pkgs/development/haskell-modules/configuration-common.nix index 856fe60555ac..e944bf9c3d34 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; |