Merge pull request #70415 from dywedir/oil

oil: 0.7.pre3 -> 0.7.pre5
This commit is contained in:
Linus Heckemann 2019-10-06 13:24:21 +02:00 committed by GitHub
commit f523177869
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -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
'';