From 0a253d7043e672bd282b3f95cec7ea052fe4e3f3 Mon Sep 17 00:00:00 2001 From: Peter Simons Date: Thu, 13 Jun 2019 22:01:32 +0200 Subject: [PATCH] haskell-cryptol: update overrides for new sbv version --- pkgs/development/haskell-modules/configuration-common.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/development/haskell-modules/configuration-common.nix b/pkgs/development/haskell-modules/configuration-common.nix index 234b04b7a25e..3474a74cf77f 100644 --- a/pkgs/development/haskell-modules/configuration-common.nix +++ b/pkgs/development/haskell-modules/configuration-common.nix @@ -860,7 +860,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_2; }) (drv: { + cryptol = overrideCabal (super.cryptol.override { sbv = self.sbv_8_3; }) (drv: { buildTools = drv.buildTools or [] ++ [ pkgs.makeWrapper ]; postInstall = drv.postInstall or "" + '' for b in $out/bin/cryptol $out/bin/cryptol-html; do