oil: 0.7.pre3 -> 0.7.pre5

wip/yesman
Vladyslav M 5 years ago
parent 922de4f4b5
commit b0bf7bd589
No known key found for this signature in database
GPG Key ID: 3B1AD98E3D65BD4D
  1. 15
      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
'';

Loading…
Cancel
Save