tamarin-prover: enable tests

Signed-off-by: Austin Seipp <aseipp@pobox.com>
NixOS · Dec 31, 2017 · ff555bd · ff555bd
1 parent 2efe8b9
commit ff555bd
Showing 1 changed file with 4 additions and 2 deletions.
diff --git 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