diff options
| author | Austin Seipp <aseipp@pobox.com> | 2017-12-30 19:39:23 -0600 |
|---|---|---|
| committer | Austin Seipp <aseipp@pobox.com> | 2017-12-30 19:39:38 -0600 |
| commit | ff555bdaebcc8ed44d7dd428871a4696e32e08f1 (patch) | |
| tree | 196bf0fe935c5ec98a25a09f4c9d64c71bde4f8b | |
| parent | 2efe8b95c8e99e11a8118591b93b35640d906ccb (diff) | |
| download | nixlib-ff555bdaebcc8ed44d7dd428871a4696e32e08f1.tar nixlib-ff555bdaebcc8ed44d7dd428871a4696e32e08f1.tar.gz nixlib-ff555bdaebcc8ed44d7dd428871a4696e32e08f1.tar.bz2 nixlib-ff555bdaebcc8ed44d7dd428871a4696e32e08f1.tar.lz nixlib-ff555bdaebcc8ed44d7dd428871a4696e32e08f1.tar.xz nixlib-ff555bdaebcc8ed44d7dd428871a4696e32e08f1.tar.zst nixlib-ff555bdaebcc8ed44d7dd428871a4696e32e08f1.zip | |
tamarin-prover: enable tests
Signed-off-by: Austin Seipp <aseipp@pobox.com>
| -rw-r--r-- | pkgs/applications/science/logic/tamarin-prover/default.nix | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/tamarin-prover/default.nix b/pkgs/applications/science/logic/tamarin-prover/default.nix index b03685484aa9..bed7eb65e328 100644 --- a/pkgs/applications/science/logic/tamarin-prover/default.nix +++ b/pkgs/applications/science/logic/tamarin-prover/default.nix @@ -65,13 +65,15 @@ mkDerivation (common "tamarin-prover" src // { enableSharedExecutables = false; postFixup = "rm -rf $out/lib $out/nix-support $out/share/doc"; - # wrap the prover to be sure it can find maude + # wrap the prover to be sure it can find maude, sapic, etc + executableToolDepends = [ makeWrapper which maude graphviz sapic ]; postInstall = '' wrapProgram $out/bin/tamarin-prover \ --prefix PATH : ${lib.makeBinPath [ which maude graphviz sapic ]} ''; - executableToolDepends = [ makeWrapper ]; + checkPhase = "./dist/build/tamarin-prover/tamarin-prover test"; + executableHaskellDepends = (with haskellPackages; [ base binary binary-orphans blaze-builder blaze-html bytestring cmdargs conduit containers deepseq directory fclabels file-embed |