01/15: gnu: mcrl2: Build with modular qt.

[Efraim Flashner]

efraim pushed a commit to branch master
in repository guix.

commit 077d66ed4277d8195272bc64feed650a27cc2995
Author: Efraim Flashner <address@hidden>
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