summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEfraim Flashner <efraim@flashner.co.il>2018-07-29 15:32:22 +0300
committerEfraim Flashner <efraim@flashner.co.il>2018-07-29 20:00:30 +0300
commit077d66ed4277d8195272bc64feed650a27cc2995 (patch)
treec253fd1e9854b7a82c126d48b5429cfc1f5b374f
parent6465497fb9a8980bc010ec8f68b320dc1a73b5cb (diff)
downloadpatches-077d66ed4277d8195272bc64feed650a27cc2995.tar
patches-077d66ed4277d8195272bc64feed650a27cc2995.tar.gz
gnu: mcrl2: Build with modular qt.
* gnu/packages/maths.scm (mcrl2)[inputs]: Replace qt with qtbase.
-rw-r--r--gnu/packages/maths.scm2
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index e828dbb2d3..f07c83dc0d 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