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

input-output-hk · Jun 23, 2023 · 0ab9f5f · 0ab9f5f
1 parent 10451d2
commit 0ab9f5f
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;
@@ -333,6 +334,7 @@ in
 
   marlowe-tx = mkOperableWithProbes {
     package = marlowe-tx;
+    runtimeInputs = [ z3 ];
     runtimeScript = ''
       #################
       # REQUIRED VARS #