colin/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

nixpkgs: add sapic as a dependency to tamarin-prover

Browse Source 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
This commit is contained in:
Austin Seipp 2017-12-30 19:00:28 -06:00
parent 3813ab2589
commit bae2e7ceb3
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/applications/science/logic/tamarin-prover/default.nix
View File

@ -1,6 +1,6 @@
{ haskell, haskellPackages, mkDerivation, fetchFromGitHub, lib
# the following are non-haskell dependencies
, makeWrapper, which, maude, graphviz
, makeWrapper, which, maude, graphviz, sapic
}:
let
@ -68,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 [ which maude graphviz ]}
--prefix PATH : ${lib.makeBinPath [ which maude graphviz sapic ]}
'';
executableToolDepends = [ makeWrapper ];

4
pkgs/top-level/all-packages.nix
View File

@ -5969,8 +5969,8 @@ with pkgs;
tamarin-prover =
(haskellPackages.callPackage ../applications/science/logic/tamarin-prover {
# do not use the haskell packages 'graphviz' and 'maude'
inherit maude which;
# NOTE: do not use the haskell packages 'graphviz' and 'maude'
inherit maude which sapic;
graphviz = graphviz-nox;
});