diff options
Diffstat (limited to 'nix')
| -rw-r--r-- | nix/candelabra.nix | 5 | ||||
| -rw-r--r-- | nix/racket-env.nix | 2 |
2 files changed, 4 insertions, 3 deletions
diff --git a/nix/candelabra.nix b/nix/candelabra.nix index 192bf1f..0ee4a2d 100644 --- a/nix/candelabra.nix +++ b/nix/candelabra.nix @@ -27,6 +27,7 @@ in ".*racket_specs.*" ".*crates/library.*" ".*crates/benchmarker.*" - ]} - echo "${pkgs.callPackage ./racket-env.nix inputs} ${toolchain}" > $out/nix-support/propagated-build-inputs + ]} \ + --prefix PATH : ${pkgs.callPackage ./racket-env.nix inputs}/bin + --prefix PATH : ${toolchain}/bin '' diff --git a/nix/racket-env.nix b/nix/racket-env.nix index d05a4f8..af924b1 100644 --- a/nix/racket-env.nix +++ b/nix/racket-env.nix @@ -426,11 +426,11 @@ in pkgs.stdenv.mkDerivation { name = "racket-wrapped"; buildInputs = [pkgs.makeWrapper]; - propagatedBuildInputs = [pkgs.z3]; phases = ["installPhase" "fixupPhase"]; installPhase = '' mkdir -p $out/bin makeWrapper ${racket}/bin/racket $out/bin/racket \ --set PLTADDONDIR ${collection}; + --prefix PATH : ${pkgs.z3}/bin ''; } |