diff options
author | Peter Simons <simons@cryp.to> | 2019-06-13 22:01:32 +0200 |
---|---|---|
committer | Peter Simons <simons@cryp.to> | 2019-06-14 13:06:08 +0000 |
commit | 0a253d7043e672bd282b3f95cec7ea052fe4e3f3 (patch) | |
tree | 66700a7ccefd354162384b4e0cbd7fccf8abade0 /pkgs | |
parent | caeebbb5f71d4dc197e9d40cfda8c8d0cf510c28 (diff) | |
download | nixlib-0a253d7043e672bd282b3f95cec7ea052fe4e3f3.tar nixlib-0a253d7043e672bd282b3f95cec7ea052fe4e3f3.tar.gz nixlib-0a253d7043e672bd282b3f95cec7ea052fe4e3f3.tar.bz2 nixlib-0a253d7043e672bd282b3f95cec7ea052fe4e3f3.tar.lz nixlib-0a253d7043e672bd282b3f95cec7ea052fe4e3f3.tar.xz nixlib-0a253d7043e672bd282b3f95cec7ea052fe4e3f3.tar.zst nixlib-0a253d7043e672bd282b3f95cec7ea052fe4e3f3.zip |
haskell-cryptol: update overrides for new sbv version
Diffstat (limited to 'pkgs')
-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 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 |