From e468995e496806811536e38e7e55d16c209b19bd Mon Sep 17 00:00:00 2001
From: Aria Shrimpton <me@aria.rip>
Date: Tue, 30 Jan 2024 00:06:00 +0000
Subject: more cleanup

---
 nix/racket-env.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'nix/racket-env.nix')

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
     '';
   }
-- 
cgit v1.2.3