Skip to content

Commit

Permalink
Merge pull request #605 from tbidne/rest-rewrite
Browse files Browse the repository at this point in the history
cabal2nix: Add graphviz and z3 to rest-rewrite test deps
  • Loading branch information
cdepillabout committed Jul 10, 2023
2 parents 0783500 + 7b8cf29 commit 6b3d10b
Showing 1 changed file with 1 addition and 0 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -161,6 +161,7 @@ hooks =
, ("qtah-qt5", set (libraryDepends . tool . contains (bind "pkgs.qt5.qtbase")) True)
, ("readline", over (libraryDepends . system) (Set.union (pkgs ["readline", "ncurses"])))
, ("req", set doCheck False) -- test suite requires network access
, ("rest-rewrite", over (testDepends . system) (Set.union (pkgs ["graphviz", "z3"])))
, ("sbv > 7", set (testDepends . system . contains (pkg "z3")) True)
, ("sdr", set (metaSection . platforms) (Just $ Set.singleton (NixpkgsPlatformGroup (ident # "x86_64")))) -- https://github.com/adamwalker/sdr/issues/2
, ("shake-language-c", set doCheck False) -- https://github.com/samplecount/shake-language-c/issues/26
Expand Down

0 comments on commit 6b3d10b

Please sign in to comment.