From ba567cae9725f8adf717106f5b54baeb6efd89e4 Mon Sep 17 00:00:00 2001 From: Eric Bavier Date: Fri, 27 Sep 2019 22:19:39 -0500 Subject: gnu: dealii: Update to 9.1.1. * gnu/packages/maths.scm (dealii): Update to 9.1.1. [source]: Remove patch no longer needed. * gnu/local.mk (dist_patch_DATA): ditto. * gnu/packages/patches/dealii-mpi-deprecations.patch: Delete it. --- gnu/packages/maths.scm | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) (limited to 'gnu/packages/maths.scm') diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 2e0883a724..291a367a2f 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -3636,7 +3636,7 @@ revised simplex and the branch-and-bound methods.") (define-public dealii (package (name "dealii") - (version "9.0.1") + (version "9.1.1") (source (origin (method url-fetch) @@ -3644,8 +3644,7 @@ revised simplex and the branch-and-bound methods.") "download/v" version "/dealii-" version ".tar.gz")) (sha256 (base32 - "0r7f8rhl3xr94imd372plizdcbqk0a70w73lwc3vw912dxk0sbyz")) - (patches (search-patches "dealii-mpi-deprecations.patch")) + "0xhjv0gzswpjbc43xbrpwfc5848g508l01855nszx3g5gwzlhnzw")) (modules '((guix build utils))) (snippet ;; Remove bundled sources: UMFPACK, TBB, muParser, and boost -- cgit 1.4.1 From d49375c72261ff3c82a7d27ba7f0ae01e5d7e610 Mon Sep 17 00:00:00 2001 From: Tobias Geerinckx-Rice Date: Sat, 28 Sep 2019 03:39:26 +0200 Subject: gnu: z3: Update to 4.8.6. * gnu/packages/maths.scm (z3): Update to 4.8.6. --- gnu/packages/maths.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'gnu/packages/maths.scm') diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 291a367a2f..ffb2f87836 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -4106,7 +4106,7 @@ as equations, scalars, vectors, and matrices.") (define-public z3 (package (name "z3") - (version "4.8.4") + (version "4.8.6") (home-page "https://github.com/Z3Prover/z3") (source (origin (method git-fetch) @@ -4115,7 +4115,7 @@ as equations, scalars, vectors, and matrices.") (file-name (git-file-name name version)) (sha256 (base32 - "014igqm5vwswz0yhz0cdxsj3a6dh7i79hvhgc3jmmmz3z0xm1gyn")))) + "1sywcqj5y8yp28m4cdvzsgw74kd6zr1s3y1x17ky8pr9prvpvl6x")))) (build-system gnu-build-system) (arguments `(#:phases -- cgit 1.4.1 From 3bc74090d9b583d0bb30a8d79e33abd3c929092f Mon Sep 17 00:00:00 2001 From: Jan Nieuwenhuizen Date: Mon, 30 Sep 2019 21:26:19 +0200 Subject: gnu: mcrl2: Update to 201908.0. * gnu/packages/maths.scm (mcrl2): Update to 201908.0. --- gnu/packages/maths.scm | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) (limited to 'gnu/packages/maths.scm') diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index ffb2f87836..4be69fe030 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -22,7 +22,7 @@ ;;; Copyright © 2017, 2019 Arun Isaac ;;; Copyright © 2017, 2018, 2019 Tobias Geerinckx-Rice ;;; Copyright © 2017 Dave Love -;;; Copyright © 2018 Jan Nieuwenhuizen +;;; Copyright © 2018, 2019 Jan Nieuwenhuizen ;;; Copyright © 2018 Joshua Sierles, Nextjournal ;;; Copyright © 2018 Nadya Voronova ;;; Copyright © 2018 Adam Massmann @@ -4306,7 +4306,7 @@ reduction.") (define-public mcrl2 (package (name "mcrl2") - (version "201707.1.15162") + (version "201908.0") (source (origin (method url-fetch) (uri (string-append "http://www.mcrl2.org/download/devel/mcrl2-" @@ -4314,9 +4314,7 @@ reduction.") ".tar.gz")) (sha256 (base32 - "1ziww2fchsklm25hl9p2mngssxfh9w07nc114cncqaxfibqp2p8f")))) - (native-inputs - `(("subversion" ,subversion))) + "1i4xgl2d5fgiz1mwi50cyfkrrcpm8nxfayfjgmhq7chs58wlhfsz")))) (inputs `(("boost" ,boost) ("glu" ,glu) -- cgit 1.4.1 From e03b912600fe6aa74e0858f69920e71693f1aaa4 Mon Sep 17 00:00:00 2001 From: Jan Nieuwenhuizen Date: Mon, 30 Sep 2019 21:26:56 +0200 Subject: gnu: Add mcrl2-minimal. * gnu/packages/maths.scm (mcrl2-minimal): New variable. --- gnu/packages/maths.scm | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'gnu/packages/maths.scm') diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 4be69fe030..03738c66ea 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -4332,6 +4332,15 @@ analysed.") (home-page "https://mcrl2.org") (license license:boost1.0))) +(define-public mcrl2-minimal + (package + (inherit mcrl2) + (name "mcrl2-minimal") + (inputs + `(("boost" ,boost))) + (arguments + '(#:configure-flags '("-DMCRL2_ENABLE_GUI_TOOLS=OFF"))))) + (define-public r-subplex (package (name "r-subplex") -- cgit 1.4.1