diff options
| author | Peter Simons <simons@cryp.to> | 2019-08-10 12:58:52 +0200 |
|---|---|---|
| committer | Peter Simons <simons@cryp.to> | 2019-08-11 20:48:10 +0200 |
| commit | a76bd39c64aef037389984292dc922ab8fca7706 (patch) | |
| tree | 1bcaf20b0df271617b02e8ee9180e7c6f63ff41c /pkgs/development/haskell-modules | |
| parent | 3cbe376b37f7d3ce95bb2ae4fa9115ff2f7074ed (diff) | |
| download | nixlib-a76bd39c64aef037389984292dc922ab8fca7706.tar nixlib-a76bd39c64aef037389984292dc922ab8fca7706.tar.gz nixlib-a76bd39c64aef037389984292dc922ab8fca7706.tar.bz2 nixlib-a76bd39c64aef037389984292dc922ab8fca7706.tar.lz nixlib-a76bd39c64aef037389984292dc922ab8fca7706.tar.xz nixlib-a76bd39c64aef037389984292dc922ab8fca7706.tar.zst nixlib-a76bd39c64aef037389984292dc922ab8fca7706.zip | |
haskell-cryptol: drop obsolete version overrides
Diffstat (limited to 'pkgs/development/haskell-modules')
| -rw-r--r-- | pkgs/development/haskell-modules/configuration-common.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/haskell-modules/configuration-common.nix b/pkgs/development/haskell-modules/configuration-common.nix index f25394852d00..9b124214c395 100644 --- a/pkgs/development/haskell-modules/configuration-common.nix +++ b/pkgs/development/haskell-modules/configuration-common.nix @@ -857,7 +857,7 @@ self: super: { # Wrap the generated binaries to include their run-time dependencies in # $PATH. Also, cryptol needs a version of sbl that's newer than what we have # in LTS-13.x. - cryptol = overrideCabal (super.cryptol.override { sbv = self.sbv_8_3; }) (drv: { + cryptol = overrideCabal super.cryptol (drv: { buildTools = drv.buildTools or [] ++ [ pkgs.makeWrapper ]; postInstall = drv.postInstall or "" + '' for b in $out/bin/cryptol $out/bin/cryptol-html; do |