diff options
| author | Jan Nieuwenhuizen <janneke@gnu.org> | 2019-09-30 21:26:56 +0200 |
|---|---|---|
| committer | Jan Nieuwenhuizen <janneke@gnu.org> | 2019-09-30 21:26:56 +0200 |
| commit | e03b912600fe6aa74e0858f69920e71693f1aaa4 (patch) | |
| tree | 7518bc9ca53e0206bfbfba2f64473fb6b9056067 /gnu/packages/maths.scm | |
| parent | 3bc74090d9b583d0bb30a8d79e33abd3c929092f (diff) | |
gnu: Add mcrl2-minimal.
* gnu/packages/maths.scm (mcrl2-minimal): New variable.
Diffstat (limited to 'gnu/packages/maths.scm')
| -rw-r--r-- | gnu/packages/maths.scm | 9 |
1 files changed, 9 insertions, 0 deletions
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") |