@@ -103,6 +103,7 @@ hooks =
103103 , ("qtah-cpp-qt5", set (libraryDepends . system . contains (bind "pkgs.qt5.qtbase")) True)
104104 , ("qtah-qt5", set (libraryDepends . tool . contains (bind "pkgs.qt5.qtbase")) True)
105105 , ("readline", over (libraryDepends . system) (Set.union (pkgs ["readline", "ncurses"])))
106+ , ("sbv > 7", set (testDepends . system . contains (pkg "z3")) True)
106107 , ("sdr", over (metaSection . platforms) (Set.filter (\(Platform arch _) -> arch == X86_64))) -- https://github.com/adamwalker/sdr/issues/2
107108 , ("shake-language-c", set doCheck False) -- https://github.com/samplecount/shake-language-c/issues/26
108109 , ("ssh", set doCheck False) -- test suite runs forever, probably can't deal with our lack of network access