From 66d146639d0dfd2efaed4a429dbb845172dc4f24 Mon Sep 17 00:00:00 2001
From: Guillaume Le Vaillant <glv@posteo.net>
Date: Fri, 16 Aug 2019 11:19:56 +0200
Subject: [PATCH] gnu: txr: Update to 223.
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

* gnu/packages/lisp.scm (txr): Update to 223.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
---
 gnu/packages/lisp.scm | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/gnu/packages/lisp.scm b/gnu/packages/lisp.scm
index d2bed231bd..a42369ba06 100644
--- a/gnu/packages/lisp.scm
+++ b/gnu/packages/lisp.scm
@@ -5319,7 +5319,7 @@ port within a range.")
 (define-public txr
   (package
     (name "txr")
-    (version "216")
+    (version "223")
     (source
      (origin
        (method url-fetch)
@@ -5329,7 +5329,7 @@ port within a range.")
        (patches (search-patches "txr-shell.patch"))
        (sha256
         (base32
-         "07cxdpc9zsqd0c2668g00dqjpd6zc4mfdn74aarr6d2hpzdhh937"))))
+         "0109q8idqggba3kx58dpm5ccfpdrki68npkcxm18p5ga24611fcv"))))
     (build-system gnu-build-system)
     (arguments
      '(#:configure-flags '("cc=gcc")
@@ -5343,7 +5343,7 @@ port within a range.")
                       #t))
                   (replace 'check
                     (lambda _
-                      (zero? (system* "make" "tests")))))))
+                      (invoke "make" "tests"))))))
     (native-inputs
      `(("bison" ,bison)
        ("flex" ,flex)))