diff options
| author | Jan (janneke) Nieuwenhuizen <janneke@gnu.org> | 2022-05-31 14:54:47 +0200 |
|---|---|---|
| committer | Jan (janneke) Nieuwenhuizen <janneke@gnu.org> | 2022-06-02 08:00:47 +0200 |
| commit | 08565c07ddf45292175a85e60bdd604705ef5d15 (patch) | |
| tree | 364df7ab1dfb1d182344b5dab78feb38bbc82a60 /gnu/packages/dezyne.scm | |
| parent | 59e9b94f1e8617733c56bba10263a19b09f6f0f6 (diff) | |
| download | guix-08565c07ddf45292175a85e60bdd604705ef5d15.tar.gz | |
gnu: dezyne: Update to 2.15.1.
* gnu/packages/dezyne.scm (dezyne)[source]: Update to 2.15.1. [arguments]: Remove `disable-tests' phase.
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"))) |