efraim pushed a commit to branch master
in repository guix.
commit 077d66ed4277d8195272bc64feed650a27cc2995
Author: Efraim Flashner <[email protected]>
Date: Sun Jul 29 15:32:22 2018 +0300
gnu: mcrl2: Build with modular qt.
* gnu/packages/maths.scm (mcrl2)[inputs]: Replace qt with qtbase.
---
gnu/packages/maths.scm | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index e828dbb..f07c83d 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -3968,7 +3968,7 @@ reduction.")
`(("boost" ,boost)
("glu" ,glu)
("mesa" ,mesa)
- ("qt" ,qt)))
+ ("qtbase" ,qtbase)))
(build-system cmake-build-system)
(synopsis "Toolset for the mCRL2 formal specification language")
(description
