bug#43526: closed ([PATCH] gnu: Update oil to 0.8.0.)

[GNU bug Tracking System]

Your message dated Sun, 20 Sep 2020 23:41:54 +0300
with message-id <20200920204154.GB6984@E5400>
and subject line Re: [bug#43526] [PATCH] gnu: Update oil to 0.8.0.
has caused the debbugs.gnu.org bug report #43526,
regarding [PATCH] gnu: Update oil to 0.8.0.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
43526: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=43526
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] gnu: Update oil to 0.8.0.
>
>
>
>
> Date: 
>
> Sun, 20 Sep 2020 03:28:02 +0000
>
>
>
>
> * gnu/packages/shells.scm (oil): Update to 0.8.0.
> ---
>  gnu/packages/shells.scm | 7 +++----
>  1 file changed, 3 insertions(+), 4 deletions(-)
>
> diff --git a/gnu/packages/shells.scm b/gnu/packages/shells.scm
> index 7868dc40f0..affc98a6e6 100644
> --- a/gnu/packages/shells.scm
> +++ b/gnu/packages/shells.scm
> @@ -813,15 +813,14 @@ Shell (pdksh).")
>  (define-public oil
>    (package
>      (name "oil")
> -    ;; 
> https://www.oilshell.org/blog/2020/04/release-0.8.pre4.html#comment-on-version-numbering
> -    (version "0.8.pre6")
> +    (version "0.8.0")
>      (source
>       (origin
>         (method url-fetch)
>         (uri (string-append "https://www.oilshell.org/download/oil-";
>                             version ".tar.gz"))
>         (sha256
> -        (base32 "11nfwn5b1w74hv78065jg2zm45mqzi59381b0f649j7n3g7yp3iq"))))
> +        (base32 "1455hy61prznzp05vigh96ypyz9zarhvvzmmxvf8cnpa39s39a8c"))))
>      (build-system gnu-build-system)
>      (arguments
>       `(#:strip-binaries? #f             ; strip breaks the binary
> @@ -838,7 +837,7 @@ Shell (pdksh).")
>           (replace 'check
>             ;; The tests are not distributed in the tarballs but upstream
>             ;; recommends running this smoke test.
> -           ;; 
> https://github.com/oilshell/oil/blob/release/0.8.pre6/INSTALL.txt#L38-L48
> +           ;; 
> https://github.com/oilshell/oil/blob/release/0.8.0/INSTALL.txt#L38-L48
>             (lambda _
>               (let* ((oil "_bin/oil.ovm"))
>                 (invoke/quiet oil "osh" "-c" "echo hi")
> -- 
> 2.17.1
>
>
>
>
>
> --- End Message ---

--- Begin Message --- Subject: Re: [bug#43526] [PATCH] gnu: Update oil to 0.8.0. Date: Sun, 20 Sep 2020 23:41:54 +0300

Patch looks good and I pushed it. I'm not too happy about the bundled
python source code though.


-- 
Efraim Flashner   <efraim@flashner.co.il>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted

signature.asc
Description: PGP signature

--- End Message ---