easycrypt: expand pythonPath bash array for structuredAttrs

2026-01-27 11:53:10 +01:00
parent 9693640154
commit c851206cb5
1 changed files with 1 additions and 1 deletions
@@ -55,7 +55,7 @@ stdenv.mkDerivation rec {
    runHook preInstall
    dune install --prefix $out easycrypt
    rm $out/bin/ec-runtest
-    wrapPythonProgramsIn "$out/lib/easycrypt/commands" "$pythonPath"
+    wrapPythonProgramsIn "$out/lib/easycrypt/commands" "''${pythonPath[*]}"
    runHook postInstall
  '';