diff options
author | Vladyslav M <dywedir@gra.red> | 2019-10-04 23:05:23 +0300 |
---|---|---|
committer | Vladyslav M <dywedir@gra.red> | 2019-10-06 10:39:43 +0300 |
commit | b0bf7bd589be831b44962b4225ba61b5a3a3f9da (patch) | |
tree | 46f475d101e08dea2a0c0f6a0da8064671ec1e60 /pkgs/shells/oil | |
parent | 922de4f4b54858a4938a5593d50b5a5eecd47712 (diff) |
oil: 0.7.pre3 -> 0.7.pre5
Diffstat (limited to 'pkgs/shells/oil')
-rw-r--r-- | pkgs/shells/oil/default.nix | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/pkgs/shells/oil/default.nix b/pkgs/shells/oil/default.nix index 9f1bf3ce6af1f..4796cc27391ae 100644 --- a/pkgs/shells/oil/default.nix +++ b/pkgs/shells/oil/default.nix @@ -1,14 +1,23 @@ -{ stdenv, lib, fetchurl }: +{ stdenv, lib, fetchurl, fetchpatch }: stdenv.mkDerivation rec { pname = "oil"; - version = "0.7.pre3"; + version = "0.7.pre5"; src = fetchurl { url = "https://www.oilshell.org/download/oil-${version}.tar.xz"; - sha256 = "01zc36zaasaagr54rnh90k0j7pbnj0cc6a9pvz6gs6pk91i80lqg"; + sha256 = "1vpk4my8lp7wik8ywspawimya2a7hb1qjkp5vpm7ypmkya5jqivc"; }; + + # TODO remove at next bump + patches = [ + (fetchpatch { + url = "https://github.com/oilshell/oil/commit/81551d76ae5a8b53179f2472492d0b44f13f84fd.patch"; + sha256 = "0v99cx13ajqmf489vvxkqhqi9pjyc8jn0dgc8wp78gsv9js2k7km"; + }) + ]; + postPatch = '' patchShebangs build ''; |