From 08565c07ddf45292175a85e60bdd604705ef5d15 Mon Sep 17 00:00:00 2001
From: "Jan (janneke) Nieuwenhuizen" <janneke@gnu.org>
Date: Tue, 31 May 2022 14:54:47 +0200
Subject: gnu: dezyne: Update to 2.15.1.

* gnu/packages/dezyne.scm (dezyne)[source]: Update to 2.15.1.
[arguments]: Remove `disable-tests' phase.
---
 gnu/packages/dezyne.scm | 13 ++-----------
 1 file changed, 2 insertions(+), 11 deletions(-)

(limited to 'gnu/packages')

diff --git a/gnu/packages/dezyne.scm b/gnu/packages/dezyne.scm
index 9b3b3c43f6..af1abf11a9 100644
--- a/gnu/packages/dezyne.scm
+++ b/gnu/packages/dezyne.scm
@@ -31,14 +31,14 @@
 (define-public dezyne
   (package
     (name "dezyne")
-    (version "2.15.0")
+    (version "2.15.1")
     (source
      (origin
        (method url-fetch)
        (uri (string-append "https://dezyne.org/download/dezyne/"
                            name "-" version ".tar.gz"))
        (sha256
-        (base32 "1sh9chg5q10c3bzsmgl1pb7pmdf04j2lqszhw8jk5qlxr9y8ybcq"))))
+        (base32 "0yid2a9xvp4hc7fry07zp0q2hva89czri6i1m2d1n22srh7r0my6"))))
     (inputs (list bash-minimal
                   guile-3.0-latest
                   guile-json-4
@@ -53,15 +53,6 @@
                   ,@%gnu-build-system-modules)
       #:phases
       #~(modify-phases %standard-phases
-          (add-after 'unpack 'disable-tests
-            (lambda _
-              ;; The mCRL2 output for these tests is unstable, i.e., varies
-              ;; between different builds.
-              (substitute* "Makefile.in"
-                (("test/all/compliance_blocking_double_release ") " ")
-                (("test/all/illegal_external_nonsynchronous ") " ")
-                (("test/all/livelock_synchronous_illegal ") " ")
-                (("test/all/queuefull_external_sync ") " "))))
           (add-before 'configure 'setenv
             (lambda _
               (setenv "GUILE_AUTO_COMPILE" "0")))
-- 
cgit 1.4.1