PLT-5817 Added z3 to runtime dependencies of marlowe-tx.

input-output-hk · Jun 21, 2023 · 346a17b · 346a17b
1 parent fef0d61
commit 346a17b
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/nix/marlowe-cardano/deploy/operables.nix b/nix/marlowe-cardano/deploy/operables.nix
@@ -11,6 +11,7 @@ let
     socat
     netcat
     curl
+    z3
     ;
 
   marlowe-chain-indexer = self.packages.ghc8107-marlowe-chain-sync-exe-marlowe-chain-indexer;
@@ -360,6 +361,7 @@ in
 
   marlowe-tx = mkOperableWithProbes {
     package = marlowe-tx;
+    runtimeInputs = [ z3 ];
     runtimeScript = ''
       #################
       # REQUIRED VARS #