02/02: gnu: Add mcrl2-minimal.

[guix-commits]

janneke pushed a commit to branch master
in repository guix.

commit e03b912600fe6aa74e0858f69920e71693f1aaa4
Author: Jan Nieuwenhuizen <address@hidden>
Date:   Mon Sep 30 21:26:56 2019 +0200

    gnu: Add mcrl2-minimal.
    
    * gnu/packages/maths.scm (mcrl2-minimal): New variable.
---
 gnu/packages/maths.scm | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index 4be69fe..03738c6 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")