gnu: Add mcrl2-minimal.

* gnu/packages/maths.scm (mcrl2-minimal): New variable.
2019-09-30 21:26:56 +02:00 · 2019-09-30 21:26:56 +02:00 · e03b912600
parent 3bc74090d9
commit e03b912600
1 changed files with 9 additions and 0 deletions
--- 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")