diff options
| author | Austin Seipp <aseipp@pobox.com> | 2017-12-30 18:35:46 -0600 |
|---|---|---|
| committer | Austin Seipp <aseipp@pobox.com> | 2017-12-30 19:01:29 -0600 |
| commit | a31bdc07395d5ccdeeea3961fa24c235e06aed1a (patch) | |
| tree | fb373cc46d6f4df3e4645b91b792fb7292f211e8 /pkgs/applications/science/logic | |
| parent | f772b8d2983ff75d460ab1d85fe067ccef866fb7 (diff) | |
| download | nixlib-a31bdc07395d5ccdeeea3961fa24c235e06aed1a.tar nixlib-a31bdc07395d5ccdeeea3961fa24c235e06aed1a.tar.gz nixlib-a31bdc07395d5ccdeeea3961fa24c235e06aed1a.tar.bz2 nixlib-a31bdc07395d5ccdeeea3961fa24c235e06aed1a.tar.lz nixlib-a31bdc07395d5ccdeeea3961fa24c235e06aed1a.tar.xz nixlib-a31bdc07395d5ccdeeea3961fa24c235e06aed1a.tar.zst nixlib-a31bdc07395d5ccdeeea3961fa24c235e06aed1a.zip | |
nixpkgs: add 'graphviz' to tamarin-prover dependencies
Signed-off-by: Austin Seipp <aseipp@pobox.com>
Diffstat (limited to 'pkgs/applications/science/logic')
| -rw-r--r-- | pkgs/applications/science/logic/tamarin-prover/default.nix | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/tamarin-prover/default.nix b/pkgs/applications/science/logic/tamarin-prover/default.nix index f03751bacf2b..1c3e3ccc7693 100644 --- a/pkgs/applications/science/logic/tamarin-prover/default.nix +++ b/pkgs/applications/science/logic/tamarin-prover/default.nix @@ -1,5 +1,6 @@ { haskell, haskellPackages, mkDerivation, fetchFromGitHub, lib -, makeWrapper, maude +# the following are non-haskell dependencies +, makeWrapper, which, maude, graphviz }: let @@ -67,7 +68,7 @@ mkDerivation (common "tamarin-prover" src // { # wrap the prover to be sure it can find maude postInstall = '' wrapProgram $out/bin/tamarin-prover \ - --prefix PATH : ${lib.makeBinPath [ maude ]} + --prefix PATH : ${lib.makeBinPath [ which maude graphviz ]} ''; executableToolDepends = [ makeWrapper ]; |