diff options
author | Ludovic Courtès <ludo@gnu.org> | 2022-06-08 14:53:16 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2022-06-08 14:53:16 +0200 |
commit | 091eb323ba2787ce64a1fb2796e7e06dbee6037c (patch) | |
tree | 446a869245541bd48f303caef76e4c24f6e7d0bb /gnu/packages/dezyne.scm | |
parent | 05fef7bfc60058763f5a64ec0feaf3876b56281d (diff) | |
parent | 0c5299200ffcd16370f047b7ccb187c60f30da34 (diff) | |
download | guix-patches-091eb323ba2787ce64a1fb2796e7e06dbee6037c.tar guix-patches-091eb323ba2787ce64a1fb2796e7e06dbee6037c.tar.gz |
Merge branch 'master' into staging
Diffstat (limited to 'gnu/packages/dezyne.scm')
-rw-r--r-- | gnu/packages/dezyne.scm | 13 |
1 files changed, 2 insertions, 11 deletions
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"))) |