Add z3 to marlowe-runtime compose image

input-output-hk · Jun 27, 2023 · 4b6aa87 · 4b6aa87
1 parent 2ac29a9
commit 4b6aa87
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/nix/marlowe-cardano/compose.nix b/nix/marlowe-cardano/compose.nix
@@ -48,6 +48,7 @@ let
 
   run-runtime = writeShellScriptBin "run-marlowe-runtime" ''
     set -e
+    export PATH="$PATH:${lib.makeBinPath [ z3 ]}"
     PROG=${lib.escapeShellArg "marlowe-runtime"}
     PKG=${lib.escapeShellArg "marlowe-runtime"}-${lib.escapeShellArg marloweRuntimeVersion}
     cd /src