diff options
| author | Aria Shrimpton <me@aria.rip> | 2024-01-30 00:06:00 +0000 |
|---|---|---|
| committer | Aria Shrimpton <me@aria.rip> | 2024-01-30 00:06:00 +0000 |
| commit | e468995e496806811536e38e7e55d16c209b19bd (patch) | |
| tree | c007b7c3b8852f0e06245a5bc59d50d2e40a35a1 /nix/racket-env.nix | |
| parent | 2559da1fbf3a7e78ae105108a314cad106237368 (diff) | |
more cleanup
Diffstat (limited to 'nix/racket-env.nix')
| -rw-r--r-- | nix/racket-env.nix | 2 |
1 files changed, 1 insertions, 1 deletions
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 ''; } |