···

       
65
       
65
       
 
       
  enableSharedExecutables = false;

     

       
66
       
66
       
 
       
  postFixup = "rm -rf $out/lib $out/nix-support $out/share/doc";

     

       
67
       
67
       
 
       


     

       
68
       
68
       
-
       
  # wrap the prover to be sure it can find maude

     

       
68
       
68
       
+
       
  # wrap the prover to be sure it can find maude, sapic, etc

     

       
69
       
69
       
+
       
  executableToolDepends = [ makeWrapper which maude graphviz sapic ];

     

       
69
       
70
       
 
       
  postInstall = ''

     

       
70
       
71
       
 
       
    wrapProgram $out/bin/tamarin-prover \

     

       
71
       
72
       
 
       
      --prefix PATH : ${lib.makeBinPath [ which maude graphviz sapic ]}

     

       
72
       
73
       
 
       
  '';

     

       
73
       
74
       
 
       


     

       
74
       
74
       
-
       
  executableToolDepends = [ makeWrapper ];

     

       
75
       
75
       
+
       
  checkPhase = "./dist/build/tamarin-prover/tamarin-prover test";

     

       
76
       
76
       
+
       


     

       
75
       
77
       
 
       
  executableHaskellDepends = (with haskellPackages; [

     

       
76
       
78
       
 
       
    base binary binary-orphans blaze-builder blaze-html bytestring

     

       
77
       
79
       
 
       
    cmdargs conduit containers deepseq directory fclabels file-embed