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/top-level | |
| 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/top-level')
| -rw-r--r-- | pkgs/top-level/all-packages.nix | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 1445d099f8ee..5c47f2b7c991 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -5967,8 +5967,12 @@ with pkgs; psc-package = haskell.lib.justStaticExecutables (haskellPackages.callPackage ../development/compilers/purescript/psc-package { }); - tamarin-prover = # haskell.lib.justStaticExecutables - (haskellPackages.callPackage ../applications/science/logic/tamarin-prover { inherit maude; }); + tamarin-prover = + (haskellPackages.callPackage ../applications/science/logic/tamarin-prover { + # do not use the haskell packages 'graphviz' and 'maude' + inherit maude which; + graphviz = graphviz-nox; + }); inherit (ocamlPackages.haxe) haxe_3_2 haxe_3_4; haxe = haxe_3_4; |