From e03b912600fe6aa74e0858f69920e71693f1aaa4 Mon Sep 17 00:00:00 2001
From: Jan Nieuwenhuizen <janneke@gnu.org>
Date: Mon, 30 Sep 2019 21:26:56 +0200
Subject: [PATCH] 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 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")