diff options
| author | Peter Simons <simons@cryp.to> | 2018-02-16 08:41:55 +0100 |
|---|---|---|
| committer | Peter Simons <simons@cryp.to> | 2018-02-16 10:40:04 +0100 |
| commit | b0bdf778bd113fec202f5ee4ab32a53d8f608b36 (patch) | |
| tree | dc156af77884556c6dc8b2d67448508addd70ad0 /pkgs/development/haskell-modules | |
| parent | b6e553506f1d5e33cc6590c7543cf25fa8f30d7a (diff) | |
| download | nixlib-b0bdf778bd113fec202f5ee4ab32a53d8f608b36.tar nixlib-b0bdf778bd113fec202f5ee4ab32a53d8f608b36.tar.gz nixlib-b0bdf778bd113fec202f5ee4ab32a53d8f608b36.tar.bz2 nixlib-b0bdf778bd113fec202f5ee4ab32a53d8f608b36.tar.lz nixlib-b0bdf778bd113fec202f5ee4ab32a53d8f608b36.tar.xz nixlib-b0bdf778bd113fec202f5ee4ab32a53d8f608b36.tar.zst nixlib-b0bdf778bd113fec202f5ee4ab32a53d8f608b36.zip | |
liquidhaskell: drop obsolete patches
Diffstat (limited to 'pkgs/development/haskell-modules')
| -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; |