From ff555bdaebcc8ed44d7dd428871a4696e32e08f1 Mon Sep 17 00:00:00 2001 From: Austin Seipp Date: Sat, 30 Dec 2017 19:39:23 -0600 Subject: [PATCH] tamarin-prover: enable tests Signed-off-by: Austin Seipp --- pkgs/applications/science/logic/tamarin-prover/default.nix | 6 ++++-- 1 file 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