Merge pull request #73327 from dywedir/oil

oil: 0.7.pre5 -> 0.7.pre6
This commit is contained in:
Linus Heckemann 2019-11-13 12:02:38 +01:00 committed by GitHub
commit 0b0bd1a267
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2,22 +2,13 @@
stdenv.mkDerivation rec {
pname = "oil";
version = "0.7.pre5";
version = "0.7.pre6";
src = fetchurl {
url = "https://www.oilshell.org/download/oil-${version}.tar.xz";
sha256 = "1vpk4my8lp7wik8ywspawimya2a7hb1qjkp5vpm7ypmkya5jqivc";
sha256 = "1yhfrxrqd4jbjsf0g2fkxv8zypcndnikv9g15yp9szgp4sh1r9vv";
};
# TODO remove at next bump
patches = [
(fetchpatch {
url = "https://github.com/oilshell/oil/commit/81551d76ae5a8b53179f2472492d0b44f13f84fd.patch";
sha256 = "0v99cx13ajqmf489vvxkqhqi9pjyc8jn0dgc8wp78gsv9js2k7km";
})
];
postPatch = ''
patchShebangs build
'';
@ -34,7 +25,7 @@ stdenv.mkDerivation rec {
meta = {
description = "A new unix shell";
homepage = https://www.oilshell.org/;
homepage = "https://www.oilshell.org/";
license = with lib.licenses; [
psfl # Includes a portion of the python interpreter and standard library