diff options
Diffstat (limited to 'nix')
| -rw-r--r-- | nix/candelabra.nix | 4 | ||||
| -rw-r--r-- | nix/racket-env.nix | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/nix/candelabra.nix b/nix/candelabra.nix index 0ee4a2d..177cd56 100644 --- a/nix/candelabra.nix +++ b/nix/candelabra.nix @@ -28,6 +28,6 @@ in ".*crates/library.*" ".*crates/benchmarker.*" ]} \ - --prefix PATH : ${pkgs.callPackage ./racket-env.nix inputs}/bin - --prefix PATH : ${toolchain}/bin + --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 af924b1..cadc022 100644 --- a/nix/racket-env.nix +++ b/nix/racket-env.nix @@ -430,7 +430,7 @@ in installPhase = '' mkdir -p $out/bin makeWrapper ${racket}/bin/racket $out/bin/racket \ - --set PLTADDONDIR ${collection}; - --prefix PATH : ${pkgs.z3}/bin + --set PLTADDONDIR ${collection} \ + --prefix PATH : ${pkgs.z3}/bin; ''; } |