From 5b05dce74783e59c23ea0e3dc21386f1cca83ff1 Mon Sep 17 00:00:00 2001 From: Jan Nieuwenhuizen Date: Thu, 8 Feb 2018 08:50:06 +0100 Subject: gnu: Add mcrl2. * gnu/packages/maths.scm (mcrl2): New variable. --- gnu/packages/maths.scm | 34 ++++++++++++++++++++++++++++++++++ 1 file changed, 34 insertions(+) (limited to 'gnu/packages/maths.scm') diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index dcb12199cb..87a6832de3 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -22,6 +22,7 @@ ;;; Copyright © 2017 Arun Isaac ;;; Copyright © 2017, 2018 Tobias Geerinckx-Rice ;;; Copyright © 2017 Dave Love +;;; Copyright © 2018 Jan Nieuwenhuizen ;;; ;;; This file is part of GNU Guix. ;;; @@ -93,6 +94,7 @@ #:use-module (gnu packages pkg-config) #:use-module (gnu packages python) #:use-module (gnu packages python-web) + #:use-module (gnu packages qt) #:use-module (gnu packages readline) #:use-module (gnu packages tbb) #:use-module (gnu packages scheme) @@ -101,6 +103,7 @@ #:use-module (gnu packages texinfo) #:use-module (gnu packages tex) #:use-module (gnu packages tls) + #:use-module (gnu packages version-control) #:use-module (gnu packages wxwidgets) #:use-module (gnu packages xml) #:use-module (srfi srfi-1)) @@ -3705,3 +3708,34 @@ exclusion algorithms are typical examples of such systems.") dense and sparse-direct linear algebra, conic optimization, and lattice reduction.") (license license:bsd-2))) + +(define-public mcrl2 + (package + (name "mcrl2") + (version "201707.1.15162") + (source (origin + (method url-fetch) + (uri (string-append "http://www.mcrl2.org/download/devel/mcrl2-" + version + ".tar.gz")) + (sha256 + (base32 + "1ziww2fchsklm25hl9p2mngssxfh9w07nc114cncqaxfibqp2p8f")))) + (native-inputs + `(("subversion" ,subversion))) + (inputs + `(("boost" ,boost) + ("glu" ,glu) + ("mesa" ,mesa) + ("qt" ,qt))) + (build-system cmake-build-system) + (synopsis "toolset for the mCRL2 formal specification language") + (description + "mCRL2 (micro Common Representation Language 2) is a formal specification +language for describing concurrent discrete event systems. Its toolset +supports analysis and automatic verification, linearisation, simulation, +state-space exploration and generation and tools to optimise and analyse +specifications. Also, state spaces can be manipulated, visualised and +analysed.") + (home-page "http://mcrl2.org") + (license license:boost1.0))) -- cgit 1.4.1 From ed0c5d3c585c978d95202269aca8f813e2c9441c Mon Sep 17 00:00:00 2001 From: Tobias Geerinckx-Rice Date: Thu, 8 Feb 2018 14:42:32 +0100 Subject: gnu: mcrl2: Fix typo in synopsis. * gnu/packages/maths.scm (mcrl2)[synopsis]: Fix typo. [description]: Use @dfn. --- gnu/packages/maths.scm | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'gnu/packages/maths.scm') diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 87a6832de3..3830393706 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -3729,12 +3729,12 @@ reduction.") ("mesa" ,mesa) ("qt" ,qt))) (build-system cmake-build-system) - (synopsis "toolset for the mCRL2 formal specification language") + (synopsis "Toolset for the mCRL2 formal specification language") (description - "mCRL2 (micro Common Representation Language 2) is a formal specification -language for describing concurrent discrete event systems. Its toolset -supports analysis and automatic verification, linearisation, simulation, -state-space exploration and generation and tools to optimise and analyse + "@dfn{mCRL2} (micro Common Representation Language 2) is a formal +specification language for describing concurrent discrete event systems. Its +toolset supports analysis and automatic verification, linearisation, simulation, +state-space exploration and generation, and tools to optimise and analyse specifications. Also, state spaces can be manipulated, visualised and analysed.") (home-page "http://mcrl2.org") -- cgit 1.4.1