gnu: Disable tests.

* gnu/packages/algebra.scm (fftw-cmake, eigen-benchmarks),
* gnu/packages/android.scm (android-googletest),
* gnu/packages/check.scm (googletest, snitch),
* gnu/packages/cpp.scm (cpp-utilities, kokkos-kernels,
nativefiledialog-extended, toml11),
* gnu/packages/compression.scm (libcbor),
* gnu/packages/databases.scm (duckdb),
* gnu/packages/datastructures.scm (sdsl-lite),
* gnu/packages/education.scm (kqtquickcharts, ktouch),
* gnu/packages/emacs-xyz.scm (emacs-irony-mode-server),
* gnu/packages/engineering.scm (manifold, solvespace),
* gnu/packages/fcitx5.scm (fcitx5-configtool),
* gnu/packages/games.scm (jstest-gtk),
* gnu/packages/geo.scm (libspatialindex),
* gnu/packages/glib.scm (cppgir),
* gnu/packages/gnome.scm (evolution),
* gnu/packages/graphics.scm (openvdb),
* gnu/packages/kde.scm (kalgebra, kcachegrind, kcolorchooser, kdf,
kdegraphics-mobipocket, kio-zeroconf, kolourpaint, kompare, ksanecore,
kseexpr, ktimer, libkexiv2, libksane, partitionmanager),
* gnu/packages/kde-frameworks.scm (kactivities, kdnssd, kdeclarative,
kded, kglobalaccel, kgraphviewer, kidletime, kinit, kjobwidgets,
knotifications, knotifyconfig, kquickimageeditor, kstatusnotifieritem,
kwayland, libkdcraw, phonon-backend-gstreamer, phonon-backend-vlc,
plasma-activities, plasma-activities-stats),
* gnu/packages/kde-games.scm (bomber, bovo, granatier, kajongg, kapman,
kblackbox, kbounrce, kbreakout, kdiamond, kfourinline, kgoldrunner,
kigo, killbots, kiriki, kjumpingcube, klines, kmahjongg, kmines,
knights, kolf, kollision, konquest, kreversi, ksirk, kspaceduel,
ksquares, ksudoku, ktuberling, kubrick, libkmahjongg, lskat, palapeli),
* gnu/packages/kde-internet.scm (choqok, krdc),
* gnu/packages/kde-multimedia.scm (audiocd-kio, dragon),
* gnu/packages/kde-pim.scm (akonadi-import-wizard, ffmpegthumbs, haruna,
kaccounts-integration, kaccounts-providers, kaddressbook, kaffeine,
kasts, kontactinterface, libkcompactdisc),
* gnu/packages/kde-plasma.scm (bluedevil, breeze, breeze-qt5, calindori,
kactivitymanagerd, kde-gtk-config, kgamma, kmenuedit, kongress, krdp,
ksshaskpass, kwrited, layer-shell-qt, milou, mpvqt, ocean-sound-theme,
oxygen-sounds, plasma-mobile-sounds,, plasma-nano, plasma-pass,
plasma-phonebook, plasma-systemmonitor, plasma-vault, plasma-welcome,
lasma-workspace-wallpapers, polkit-kde-agent, print-manager,
qqc2-breeze-style),
* gnu/packages/kde-systemtools.scm (dolphin-plugins, krfb,
kwalletmanager, yakuake),
* gnu/packages/kde-utils.scm (atelier, fielding, isoimagewriter, kamera,
kbackup, kcharselect, kdialog, keurocalc, kfind, kirogi, kmag,
kmousetool, kmouth, kontrast, krusader, kxstitch, libatcore, smb4k,
sweeper),
* gnu/packages/llvm.scm (lldb),
* gnu/packages/maths.scm (gklib, mcrl2, mcrl2-minimal),
* gnu/packages/messaging.scm (mosquitto, znc),
* gnu/packages/music.scm (hydrogen),
* gnu/packages/pdf.scm (podofo, podofo-0.9),
* gnu/packages/potassco.scm (clingo, clingcon),
* gnu/packages/qt.scm (dotherside, kddockwidgets, qttools),
* gnu/packages/radio.scm (ggmorse, gr-iqbal, gr-osmosdr, inspectrum),
* gnu/packages/serialization.scm (jsoncpp-for-tensorflow),
* gnu/packages/sdl.scm (sdl3-gfx),
* gnu/packages/telephony.scm (baresip, baresip-libre),
* gnu/packages/textutils.scm (opencc),
* gnu/packages/video.scm (libopenshot, obs),
* gnu/packages/vim.scm (neovim),
* gnu/packages/web.scm (binaryen, civetweb, yajl)
[arguments]: Disable tests.

Change-Id: I56b50f14e4e5861dc69922cc2e8ee030e401a2d5

gnu/packages/maths.scm

@@ -5549,6 +5549,7 @@ bio-chemistry.")
       (build-system cmake-build-system)
       (arguments
        (list
+        #:tests? #f
         #:configure-flags
         #~(list "-DBUILD_SHARED_LIBS=ON"
                 #$@(if (target-x86?)
@@ -8801,6 +8802,7 @@ reduction.")
     (inputs
      (list boost glu mesa qtbase-5))
     (build-system cmake-build-system)
+    (arguments (list #:tests? #f))
     (synopsis "Toolset for the mCRL2 formal specification language")
     (description
      "@dfn{mCRL2} (micro Common Representation Language 2) is a formal
@@ -8819,7 +8821,8 @@ analysed.")
     (inputs
      (list boost))
     (arguments
-     '(#:configure-flags '("-DMCRL2_ENABLE_GUI_TOOLS=OFF")))))
+     (list #:tests? #f
+           #:configure-flags #~(list "-DMCRL2_ENABLE_GUI_TOOLS=OFF")))))
 
 (define-public tcalc
   (package